movefasta/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-06-11 12:15:34 +03:00
Code Issues Projects Releases Packages Wiki Activity

coqPackages.mathcomp-real-closed: 2.0.2 -> 2.0.3

Browse source
This commit is contained in:
Pierre Roux 2025-04-16 09:02:57 +02:00 • committed by Vincent Laporte
parent 935b1cc6ba
commit cb817bb9db
1 changed files with 10 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

12
pkgs/development/coq-modules/mathcomp-real-closed/default.nix
View file

@ -17,6 +17,7 @@ mkCoqDerivation {
owner = "math-comp"; owner = "math-comp";
inherit version; inherit version;
release = { release = {
"2.0.3".sha256 = "sha256-heZ7aZ7TO9YNAESIvbAc1qqzO91xMyLAox8VKueIk/s=";
"2.0.2".sha256 = "sha256-hBo9JMtmXDYBmf5ihKGksQLHv3c0+zDBnd8/aI2V/ao="; "2.0.2".sha256 = "sha256-hBo9JMtmXDYBmf5ihKGksQLHv3c0+zDBnd8/aI2V/ao=";
"2.0.1".sha256 = "sha256-tQTI3PCl0q1vWpps28oATlzOI8TpVQh1jhTwVmhaZic="; "2.0.1".sha256 = "sha256-tQTI3PCl0q1vWpps28oATlzOI8TpVQh1jhTwVmhaZic=";
"2.0.0".sha256 = "sha256-sZvfiC5+5Lg4nRhfKKqyFzovCj2foAhqaq/w9F2bdU8="; "2.0.0".sha256 = "sha256-sZvfiC5+5Lg4nRhfKKqyFzovCj2foAhqaq/w9F2bdU8=";
@ -35,17 +36,24 @@ mkCoqDerivation {
lib.switch lib.switch
[ coq.version mathcomp.version ] [ coq.version mathcomp.version ]
[ [
{
cases = [
(range "8.18" "9.0")
(isGe "2.2.0")
];
out = "2.0.3";
}
{ {
cases = [ cases = [
(range "8.17" "9.0") (range "8.17" "9.0")
(isGe "2.1.0") (range "2.1.0" "2.3.0")
]; ];
out = "2.0.2"; out = "2.0.2";
} }
{ {
cases = [ cases = [
(range "8.17" "8.20") (range "8.17" "8.20")
(isGe "2.0.0") (range "2.0.0" "2.2.0")
]; ];
out = "2.0.1"; out = "2.0.1";
} }