diff options
| author | Pierre Roux <pierre@roux01.fr> | 2022-01-27 17:19:24 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-02-02 08:56:55 +0100 |
| commit | 7846d0278ed46ff474a01d65b0ede39ea2f251d8 (patch) | |
| tree | 02cf8971f8163647a5b4d6bd48ad368c123a502f /pkgs/development/coq-modules | |
| parent | dffe2434ae6eabfbe5bf5d696a36b48472878513 (diff) | |
| download | nixlib-7846d0278ed46ff474a01d65b0ede39ea2f251d8.tar nixlib-7846d0278ed46ff474a01d65b0ede39ea2f251d8.tar.gz nixlib-7846d0278ed46ff474a01d65b0ede39ea2f251d8.tar.bz2 nixlib-7846d0278ed46ff474a01d65b0ede39ea2f251d8.tar.lz nixlib-7846d0278ed46ff474a01d65b0ede39ea2f251d8.tar.xz nixlib-7846d0278ed46ff474a01d65b0ede39ea2f251d8.tar.zst nixlib-7846d0278ed46ff474a01d65b0ede39ea2f251d8.zip | |
mathcomp-abel compiles with Coq 8.15
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/mathcomp-abel/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/mathcomp-abel/default.nix b/pkgs/development/coq-modules/mathcomp-abel/default.nix index c830abc0a786..06cfd12b07eb 100644 --- a/pkgs/development/coq-modules/mathcomp-abel/default.nix +++ b/pkgs/development/coq-modules/mathcomp-abel/default.nix @@ -8,7 +8,7 @@ mkCoqDerivation { inherit version; defaultVersion = with lib; with versions; switch [ coq.version mathcomp.version ] [ - { cases = [ (range "8.10" "8.14") (isGe "1.12.0") ]; out = "1.2.0"; } + { cases = [ (range "8.10" "8.15") (isGe "1.12.0") ]; out = "1.2.0"; } { cases = [ (range "8.10" "8.14") (range "1.11.0" "1.12.0") ]; out = "1.1.2"; } ] null; |