mirror of
https://github.com/NixOS/nixpkgs.git
synced 2026-09-30 11:50:06 +00:00
Compare commits
2 Commits
nixos-20.0
...
nixos-20.0
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
66b0db71f4 | ||
|
|
f7949198dc |
@@ -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";
|
||||
};
|
||||
|
||||
|
||||
@@ -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";
|
||||
};
|
||||
|
||||
|
||||
@@ -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";
|
||||
};
|
||||
|
||||
|
||||
@@ -24,6 +24,21 @@ let
|
||||
|
||||
in
|
||||
{
|
||||
# A module system style type tag
|
||||
#
|
||||
# Allows the nixpkgs fixpoint, usually known as `pkgs`
|
||||
# to be distinguished nominally.
|
||||
#
|
||||
# pkgs._type == "pkgs"
|
||||
# pkgs.pkgsStatic._type == "pkgs"
|
||||
#
|
||||
# Design note:
|
||||
# While earlier stages of nixpkgs fixpoint construction
|
||||
# are supertypes of this stage, they're generally not
|
||||
# usable in places where a `pkgs` is expected.
|
||||
# (earlier stages being the various `super` variables
|
||||
# that precede all-packages.nix)
|
||||
_type = "pkgs";
|
||||
|
||||
# A stdenv capable of building 32-bit binaries. On x86_64-linux,
|
||||
# it uses GCC compiled with multilib support; on i686-linux, it's
|
||||
|
||||
Reference in New Issue
Block a user