diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2023-11-30 16:05:56 +0100 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-12-05 06:56:28 +0100 |
commit | 6225a5106080e3c6e150315e0b55c190ccd5044c (patch) | |
tree | 112a7f67de1c71c548b6a823be16e815166c598e /pkgs/development/coq-modules/extructures | |
parent | 24b80431bf18a3393879c88ae951200d753710f7 (diff) |
coqPackages_8_16: fix evaluation with math-comp ≥ 2.0
Disable coq-bits, extructures, and gaia-hydra
Diffstat (limited to 'pkgs/development/coq-modules/extructures')
-rw-r--r-- | pkgs/development/coq-modules/extructures/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/extructures/default.nix b/pkgs/development/coq-modules/extructures/default.nix index bce21f0e6c62..15dd62fb7552 100644 --- a/pkgs/development/coq-modules/extructures/default.nix +++ b/pkgs/development/coq-modules/extructures/default.nix @@ -10,7 +10,7 @@ inherit version; defaultVersion = with lib.versions; lib.switch [coq.coq-version ssreflect.version] [ { cases = [(range "8.17" "8.18") (isGe "2.0.0") ]; out = "0.4.0"; } - { cases = [(range "8.11" "8.18") (isGe "1.12.0") ]; out = "0.3.1"; } + { cases = [(range "8.11" "8.18") (range "1.12.0" "1.18.0") ]; out = "0.3.1"; } { cases = [(range "8.11" "8.14") (isLe "1.12.0") ]; out = "0.3.0"; } { cases = [(range "8.10" "8.12") (isLe "1.12.0") ]; out = "0.2.2"; } ] null; |