Arthur Gautier 53a60ad361 isl: isl.gforge.inria.fr has been taken offline ... https://issues.guix.gnu.org/42162 https://github.com/dockcross/dockcross/issues/606 https://groups.google.com/g/isl-development/c/JGaMo2VUu_8 https://giters.com/coq/opam-coq-archive/issues/1298?amp=1 Signed-off-by: Arthur Gautier <baloo@superbaloo.net>		2021-11-13 21:47:53 +00:00
..
0.11.1.nix
0.14.1.nix
0.17.1.nix
0.20.0.nix
fix-gcc-build.diff