nixpkgs/pkgs/development/libraries/isl
Brian Schroeder 0e8c811907 isl: add 0.20
Update `isl` to use `isl_0_20`.
2018-11-19 10:34:52 -05:00
..
0.11.1.nix treewide: http -> https sources () 2018-06-28 20:43:35 +02:00
0.14.1.nix treewide: use more HTTPS URLs 2018-03-24 22:04:25 -07:00
0.17.1.nix treewide: use more HTTPS URLs 2018-03-24 22:04:25 -07:00
0.20.0.nix isl: add 0.20 2018-11-19 10:34:52 -05:00
fix-gcc-build.diff