Rob Vermaas d58d2e2aa7 julia: update to 1.0.3 ... (cherry picked from commit 438b6df1b121f3472ab8042944d4d007d43e97c0)		2019-01-03 09:50:47 +01:00
..
0.7.nix
1.0.nix	julia: update to 1.0.3	2019-01-03 09:50:47 +01:00
0001.1-use-system-utf8proc.patch
0002-use-system-suitesparse.patch
0004-hardened.patch
default.nix
shared.nix	julia: 1.0.0 -> 1.0.1 (#48191)	2018-10-22 06:57:43 +00:00