diff options
| author | Arthur Gautier <baloo@superbaloo.net> | 2021-11-13 21:32:36 +0000 |
|---|---|---|
| committer | Arthur Gautier <baloo@superbaloo.net> | 2021-11-13 21:47:53 +0000 |
| commit | 53a60ad361e020275b3f50c68a7f17411e5f8fd2 (patch) | |
| tree | bc6ecb0fed99d3bcfcc2c31c883eba1c0e016ee5 /pkgs/development/libraries/isl | |
| parent | f6a2ed2082d9a51668c86ba27d0b5496f7a2ea93 (diff) | |
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>
Diffstat (limited to 'pkgs/development/libraries/isl')
| -rw-r--r-- | pkgs/development/libraries/isl/0.14.1.nix | 5 | ||||
| -rw-r--r-- | pkgs/development/libraries/isl/0.17.1.nix | 5 | ||||
| -rw-r--r-- | pkgs/development/libraries/isl/0.20.0.nix | 6 |
3 files changed, 13 insertions, 3 deletions
diff --git a/pkgs/development/libraries/isl/0.14.1.nix b/pkgs/development/libraries/isl/0.14.1.nix index 8936d6c5f3be4..87243def17960 100644 --- a/pkgs/development/libraries/isl/0.14.1.nix +++ b/pkgs/development/libraries/isl/0.14.1.nix @@ -4,7 +4,10 @@ stdenv.mkDerivation rec { name = "isl-0.14.1"; src = fetchurl { - url = "http://isl.gforge.inria.fr/${name}.tar.xz"; + urls = [ + "mirror://sourceforge/libisl/${name}.tar.xz" + "https://libisl.sourceforge.io/${name}.tar.xz" + ]; sha256 = "0xa6xagah5rywkywn19rzvbvhfvkmylhcxr6z9z7bz29cpiwk0l8"; }; diff --git a/pkgs/development/libraries/isl/0.17.1.nix b/pkgs/development/libraries/isl/0.17.1.nix index a823b69fa27b1..a066655d4a052 100644 --- a/pkgs/development/libraries/isl/0.17.1.nix +++ b/pkgs/development/libraries/isl/0.17.1.nix @@ -4,7 +4,10 @@ stdenv.mkDerivation rec { name = "isl-0.17.1"; src = fetchurl { - url = "http://isl.gforge.inria.fr/${name}.tar.xz"; + urls = [ + "mirror://sourceforge/libisl/${name}.tar.xz" + "https://libisl.sourceforge.io/${name}.tar.xz" + ]; sha256 = "be152e5c816b477594f4c6194b5666d8129f3a27702756ae9ff60346a8731647"; }; diff --git a/pkgs/development/libraries/isl/0.20.0.nix b/pkgs/development/libraries/isl/0.20.0.nix index c40b3d7be0b4c..d68637ddbcde7 100644 --- a/pkgs/development/libraries/isl/0.20.0.nix +++ b/pkgs/development/libraries/isl/0.20.0.nix @@ -4,7 +4,11 @@ stdenv.mkDerivation rec { name = "isl-0.20"; src = fetchurl { - url = "http://isl.gforge.inria.fr/${name}.tar.xz"; + urls = [ + "mirror://sourceforge/libisl/${name}.tar.xz" + "https://libisl.sourceforge.io/${name}.tar.xz" + ]; + sha256 = "1akpgq0rbqbah5517blg2zlnfvjxfcl9cjrfc75nbcx5p2gnlnd5"; }; |