colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #145800 from baloo/baloo/isl/isl.gforge-defunct

Browse Source
This commit is contained in:
Artturi 2021-11-14 03:19:25 +02:00 committed by GitHub
commit e0231dcd70
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 13 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/development/libraries/isl/0.14.1.nix
View File

@ -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";
};

5
pkgs/development/libraries/isl/0.17.1.nix
View File

@ -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";
};

6
pkgs/development/libraries/isl/0.20.0.nix
View File

@ -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";
};