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

coqPackages.coq-extensible-records: enable for Coq 8.11 and 8.12

Browse Source
This commit is contained in:
Vincent Laporte 2020-07-03 08:54:17 +02:00 committed by Vincent Laporte
parent 05a5043066
commit 473519a25d
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/coq-modules/coq-extensible-records/default.nix
View File

@ -23,6 +23,8 @@ let
"8.8" = versions.pre_8_9; "8.8" = versions.pre_8_9;
"8.9" = versions.post_8_9; "8.9" = versions.post_8_9;
"8.10" = versions.post_8_9; "8.10" = versions.post_8_9;
"8.11" = versions.post_8_9;
"8.12" = versions.post_8_9;
}; };
param = params.${coq.coq-version}; param = params.${coq.coq-version};
in in
@ -53,6 +55,6 @@ stdenv.mkDerivation rec {
}; };
passthru = { passthru = {
compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" "8.9" "8.10" ]; compatibleCoqVersions = stdenv.lib.flip builtins.hasAttr params;
}; };
} }