diff options
author | Kasper Gałkowski <k@galkowski.xyz> | 2023-03-14 17:03:07 +0100 |
---|---|---|
committer | Kasper Gałkowski <k@galkowski.xyz> | 2023-03-14 17:07:39 +0100 |
commit | e5eb0322a2f7c235c64662b4dce720b62111fc88 (patch) | |
tree | 71ebb5b481e62b15362414a03c7f3fe1bfc1e67c /pkgs/development/coq-modules/mathcomp-zify/default.nix | |
parent | 97ec9764a4c2a23eef5c505183c858a3ae80606c (diff) | |
parent | 9e91539bb454af74b2e8f012e1aae08cb8abd9ff (diff) |
merge master
Diffstat (limited to 'pkgs/development/coq-modules/mathcomp-zify/default.nix')
-rw-r--r-- | pkgs/development/coq-modules/mathcomp-zify/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/mathcomp-zify/default.nix b/pkgs/development/coq-modules/mathcomp-zify/default.nix index 86dd239ebf732..3ea784714653b 100644 --- a/pkgs/development/coq-modules/mathcomp-zify/default.nix +++ b/pkgs/development/coq-modules/mathcomp-zify/default.nix @@ -9,11 +9,13 @@ mkCoqDerivation rec { defaultVersion = with lib.versions; lib.switch [ coq.coq-version mathcomp-algebra.version ] [ + { cases = [ (range "8.13" "8.17") (isGe "1.12") ]; out = "1.3.0+1.12+8.13"; } { cases = [ (range "8.13" "8.16") (isGe "1.12") ]; out = "1.1.0+1.12+8.13"; } ] null; release."1.0.0+1.12+8.13".sha256 = "1j533vx6lacr89bj1bf15l1a0s7rvrx4l00wyjv99aczkfbz6h6k"; release."1.1.0+1.12+8.13".sha256 = "1plf4v6q5j7wvmd5gsqlpiy0vwlw6hy5daq2x42gqny23w9mi2pr"; + release."1.3.0+1.12+8.13".sha256 = "sha256-ebfY8HatP4te44M6o84DSLpDCkMu4IroPCy+HqzOnTE="; propagatedBuildInputs = [ mathcomp-algebra mathcomp-ssreflect mathcomp-fingroup ]; |