nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-25 00:12:56 +00:00
Code Issues Packages Projects Releases Wiki Activity

reglang 1.2.1 compiles with Coq 8.20

Browse Source
This commit is contained in:
Pierre Roux 2024-07-31 17:32:04 +02:00 committed by Vincent Laporte
parent 8322120347
commit 909d51327c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -12,7 +12,7 @@ mkCoqDerivation {
inherit version;
defaultVersion = with lib.versions; lib.switch [ coq.coq-version mathcomp.version ] [
{ cases = [ (range "8.16" "8.19") (isGe "2.0.0") ]; out = "1.2.1"; }
{ cases = [ (range "8.16" "8.20") (isGe "2.0.0") ]; out = "1.2.1"; }
{ cases = [ (range "8.16" "8.18") (range "2.0.0" "2.1.0") ]; out = "1.2.0"; }
{ cases = [ (range "8.10" "8.20") (isLt "2.0.0") ]; out = "1.1.3"; }
] null;