Rob Vermaas 67ef59334c julia_10: update to 1.0.1 ... (cherry picked from commit 3b3a2d30df2de8dec7fa5bc5fe5ee8897e51630e)		2018-10-16 22:14:35 +02:00
..
0.7.nix
1.0.nix	julia_10: update to 1.0.1	2018-10-16 22:14:35 +02:00
0001.1-use-system-utf8proc.patch
0002-use-system-suitesparse.patch
0004-hardened.patch
default.nix
shared.nix	julia: add garrison as maintainer	2018-09-07 11:39:52 +03:00