coqPackages.math-classes: 8.12.0 -> 8.13.0
commitdfbc940137c1b90a2978cba6f4d660516deaf20d
authorlarsr <Lars.Rasmusson@gmail.com>
dateSat 17 Jul 2021, 16:25 (5 years ago)
parent9c62454
pkgs/development/coq-modules/math-classes/default.nix+3−1
@@ -4,8 +4,10 @@ with lib; mkCoqDerivation {
44
55 pname = "math-classes";
66 inherit version;
7− defaultVersion = if versions.range "8.6" "8.12" coq.coq-version then "8.12.0" else null;
7+ defaultVersion = if versions.range "8.11" "8.13" coq.coq-version then "8.13.0" else
8+ if versions.range "8.6" "8.10" coq.coq-version then "8.12.0" else null;
89 release."8.12.0".sha256 = "14nd6a08zncrl5yg2gzk0xf4iinwq4hxnsgm4fyv07ydbkxfb425";
10+ release."8.13.0".sha256 = "1ln7ziivfbxzbdvlhbvyg3v30jgblncmwcsam6gg3d1zz6r7cbby";
911
1012 extraBuildInputs = [ bignums ];
1113