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

coqPackages_8_9: disable a few packages that do not build

Browse Source
This commit is contained in:
Vincent Laporte 2019-02-01 13:25:26 +00:00 committed by Vincent Laporte
parent 895f9d3b73
commit 36e9fe820c
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/coq-modules/iris/default.nix
View File

@ -24,7 +24,7 @@ stdenv.mkDerivation rec {
};
passthru = {
compatibleCoqVersions = v: stdenv.lib.versionAtLeast v "8.6";
compatibleCoqVersions = v: builtins.elem v [ "8.6" "8.7" "8.8" ];
};
}

2
pkgs/development/coq-modules/metalib/default.nix
View File

@ -50,7 +50,7 @@ stdenv.mkDerivation rec {
};
passthru = {
compatibleCoqVersions = v: stdenv.lib.versionAtLeast v "8.6";
compatibleCoqVersions = v: builtins.elem v [ "8.6" "8.7" "8.8" ];
};
}

2
pkgs/development/coq-modules/stdpp/default.nix
View File

@ -22,7 +22,7 @@ stdenv.mkDerivation {
};
passthru = {
compatibleCoqVersions = v: stdenv.lib.versionAtLeast v "8.6";
compatibleCoqVersions = v: builtins.elem v [ "8.6" "8.7" "8.8" ];
};
}