diff options
author | Pierre Roux <pierre.roux@onera.fr> | 2024-01-26 08:21:07 +0100 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2024-01-26 19:35:30 +0100 |
commit | 523c093518c3ce5a7d7981e979f2bef0fed39de9 (patch) | |
tree | eb62aea125a97bb92009e46d9f9e9df1f6fa791c /pkgs | |
parent | aad90cd395b7d8b53e9445df830cf5ed9fcb03e9 (diff) | |
download | nixlib-523c093518c3ce5a7d7981e979f2bef0fed39de9.tar nixlib-523c093518c3ce5a7d7981e979f2bef0fed39de9.tar.gz nixlib-523c093518c3ce5a7d7981e979f2bef0fed39de9.tar.bz2 nixlib-523c093518c3ce5a7d7981e979f2bef0fed39de9.tar.lz nixlib-523c093518c3ce5a7d7981e979f2bef0fed39de9.tar.xz nixlib-523c093518c3ce5a7d7981e979f2bef0fed39de9.tar.zst nixlib-523c093518c3ce5a7d7981e979f2bef0fed39de9.zip |
coqPackages_8_19.mathcomp-algebra-tactics
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/coq-modules/mathcomp-algebra-tactics/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/mathcomp-algebra-tactics/default.nix b/pkgs/development/coq-modules/mathcomp-algebra-tactics/default.nix index 6cf92542dae3..d913b34f0f79 100644 --- a/pkgs/development/coq-modules/mathcomp-algebra-tactics/default.nix +++ b/pkgs/development/coq-modules/mathcomp-algebra-tactics/default.nix @@ -11,7 +11,7 @@ mkCoqDerivation { lib.switch [ coq.coq-version mathcomp-algebra.version ] [ { cases = [ (range "8.16" "8.19") (isGe "2.0") ]; out = "1.2.3"; } { cases = [ (range "8.16" "8.18") (isGe "2.0") ]; out = "1.2.2"; } - { cases = [ (range "8.16" "8.18") (isGe "1.15") ]; out = "1.1.1"; } + { cases = [ (range "8.16" "8.19") (isGe "1.15") ]; out = "1.1.1"; } { cases = [ (range "8.13" "8.16") (isGe "1.12") ]; out = "1.0.0"; } ] null; |