gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coqPackages.coqeal: 2.0.3 -> 2.1.0

Browse Source
This commit is contained in:
Pierre Roux
2025-02-18 22:49:49 +01:00
committed by Vincent Laporte
parent eca34552eb
commit e9422823b8
1 changed files with 13 additions and 68 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/coqeal/default.nix
+13 -68
View File
@@ -18,75 +18,20 @@ derivation = mkCoqDerivation {
inherit version;
defaultVersion =
with lib.versions;
lib.switch
[ coq.version mathcomp.version ]
[
{
cases = [
(range "8.16" "8.20")
(isGe "2.1.0")
];
out = "2.0.3";
}
{
cases = [
(range "8.16" "8.20")
(isGe "2.0.0")
];
out = "2.0.1";
}
{
cases = [
(range "8.16" "8.17")
(isGe "2.0.0")
];
out = "2.0.0";
}
{
cases = [
(range "8.15" "8.18")
(range "1.15.0" "1.18.0")
];
out = "1.1.3";
}
{
cases = [
(range "8.13" "8.17")
(range "1.13.0" "1.18.0")
];
out = "1.1.1";
}
{
cases = [
(range "8.10" "8.15")
(range "1.12.0" "1.18.0")
];
out = "1.1.0";
}
{
cases = [
(isGe "8.10")
(range "1.11.0" "1.12.0")
];
out = "1.0.5";
}
{
cases = [
(isGe "8.7")
"1.11.0"
];
out = "1.0.4";
}
{
cases = [
(isGe "8.7")
"1.10.0"
];
out = "1.0.3";
}
]
null;
lib.switch [ coq.version mathcomp.version ] [
{ cases = [ (range "9.0" "9.0") (isGe "2.3.0") ]; out = "2.1.0"; }
{ cases = [ (range "8.16" "8.20") (isGe "2.1.0") ]; out = "2.0.3"; }
{ cases = [ (range "8.16" "8.20") (isGe "2.0.0") ]; out = "2.0.1"; }
{ cases = [ (range "8.16" "8.17") (isGe "2.0.0") ]; out = "2.0.0"; }
{ cases = [ (range "8.15" "8.18") (range "1.15.0" "1.18.0") ]; out = "1.1.3"; }
{ cases = [ (range "8.13" "8.17") (range "1.13.0" "1.18.0") ]; out = "1.1.1"; }
{ cases = [ (range "8.10" "8.15") (range "1.12.0" "1.18.0") ]; out = "1.1.0"; }
{ cases = [ (isGe "8.10") (range "1.11.0" "1.12.0") ]; out = "1.0.5"; }
{ cases = [ (isGe "8.7") "1.11.0" ]; out = "1.0.4"; }
{ cases = [ (isGe "8.7") "1.10.0" ]; out = "1.0.3"; }
] null;
release."2.1.0".sha256 = "sha256-UoDxy2BKraDyRsO42GXRo26O74OF51biZQGkIMWLf8Y=";
release."2.0.3".sha256 = "sha256-5lDq7IWlEW0EkNzYPu+dA6KOvRgy53W/alikpDr/Kd0=";
release."2.0.1".sha256 = "sha256-d/IQ4IdS2tpyPewcGobj2S6m2HU+iXQmlvR+ITNIcjI=";
release."2.0.0".sha256 = "sha256-SG/KVnRJz2P+ZxkWVp1dDOnc/JVgigoexKfRUh1Y0GM";