git.iko.soy/typeable/nixpkgs
on master help sign in
Merge pull request #136938 from siraben/mathcomp-analysis-update

coqPackages.mathcomp-analysis: 0.3.9 -> 0.3.10

commit228f8bed64f0c681afcb604ee02f10325b9b9d43 authorBen Siraphob <bensiraphob@gmail.com> dateWed 8 Sep 2021, 13:32 (5 years ago) parent9ceefd7714c90e
1 file changed+2−1
compare with master
unifiedsplit
pkgs/development/coq-modules/mathcomp-analysis/default.nix+2−1
pkgs/development/coq-modules/mathcomp-analysis/default.nix+2−1
@@ -8,6 +8,7 @@ let mca = mkCoqDerivation {
88 pname = "analysis";
99 owner = "math-comp";
1010
11+ release."0.3.10".sha256 = "sha256-FBH2c8QRibq5Ycw/ieB8mZl0fDiPrYdIzZ6W/A3pIhI=";
1112 release."0.3.9".sha256 = "sha256-uUU9diBwUqBrNRLiDc0kz0CGkwTZCUmigPwLbpDOeg4=";
1213 release."0.3.6".sha256 = "0g2j7b2hca4byz62ssgg90bkbc8wwp7xkb2d3225bbvihi92b4c5";
1314 release."0.3.4".sha256 = "18mgycjgg829dbr7ps77z6lcj03h3dchjbj5iir0pybxby7gd45c";
@@ -17,7 +18,7 @@ let mca = mkCoqDerivation {
1718
1819 inherit version;
1920 defaultVersion = with versions; switch [ coq.version mathcomp.version ] [
20− { cases = [ (range "8.11" "8.13") "1.12.0" ]; out = "0.3.9"; }
21+ { cases = [ (range "8.11" "8.13") "1.12.0" ]; out = "0.3.10"; }
2122 { cases = [ (range "8.11" "8.13") "1.11.0" ]; out = "0.3.4"; }
2223 { cases = [ (range "8.10" "8.12") "1.11.0" ]; out = "0.3.3"; }
2324 { cases = [ (range "8.10" "8.11") "1.11.0" ]; out = "0.3.1"; }