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

rocq-core_9_3: init at 9.3+rc1

Browse Source
This commit is contained in:
Pierre Roux
2026-07-23 11:06:02 +02:00
parent e271009742
commit 24e6aa6736
7 changed files with 38 additions and 77 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/applications/science/logic/coq/default.nix
+1
View File
@@ -76,6 +76,7 @@ let
"9.1.0".sha256 = "sha256-+QL7I1/0BfT87n7lSaOmpHj2jJuDB4idWhAxwzvVQOE=";
"9.1.1".sha256 = "sha256-aFsGsFzexyDnOVarHPKs35HjiV8uUCpeOKSl15wXZ4s=";
"9.2.0".sha256 = "sha256-rVhv2GLImdVPgRwwTQ+wiWNtRUflMrES0ElIrdTIN1s=";
"9.3+rc1".sha256 = "sha256-vGJkRRzf8ur7i9IUpRA/sxVEQvZGnxfV/ex28Lt1kWw=";
};
releaseRev = v: "V${v}";
fetched =
pkgs/applications/science/logic/rocq-core/default.nix
+1
View File
@@ -29,6 +29,7 @@ let
"9.1.0".sha256 = "sha256-+QL7I1/0BfT87n7lSaOmpHj2jJuDB4idWhAxwzvVQOE=";
"9.1.1".sha256 = "sha256-aFsGsFzexyDnOVarHPKs35HjiV8uUCpeOKSl15wXZ4s=";
"9.2.0".sha256 = "sha256-rVhv2GLImdVPgRwwTQ+wiWNtRUflMrES0ElIrdTIN1s=";
"9.3+rc1".sha256 = "sha256-vGJkRRzf8ur7i9IUpRA/sxVEQvZGnxfV/ex28Lt1kWw=";
};
releaseRev = v: "V${v}";
fetched =
pkgs/development/coq-modules/aac-tactics/default.nix
+20 -65
View File
@@ -33,72 +33,27 @@ mkCoqDerivation {
inherit version;
defaultVersion =
let
case = case: out: { inherit case out; };
in
with lib.versions;
lib.switch coq.coq-version [
{
case = lib.versions.isGe "9.0";
out = "9.0.0";
}
{
case = "8.20";
out = "8.20.0";
}
{
case = "8.19";
out = "8.19.1";
}
{
case = "8.18";
out = "8.18.0";
}
{
case = "8.17";
out = "8.17.0";
}
{
case = "8.16";
out = "8.16.0";
}
{
case = "8.15";
out = "8.15.1";
}
{
case = "8.14";
out = "8.14.1";
}
{
case = "8.13";
out = "8.13.2";
}
{
case = "8.12";
out = "8.12.0";
}
{
case = "8.11";
out = "8.11.0";
}
{
case = "8.10";
out = "8.10.0";
}
{
case = "8.9";
out = "8.9.0";
}
{
case = "8.8";
out = "8.8.0";
}
{
case = "8.6";
out = "8.6.1";
}
{
case = "8.5";
out = "8.5.0";
}
(case (range "9.0" "9.2") "9.0.0")
(case "8.20" "8.20.0")
(case "8.19" "8.19.1")
(case "8.18" "8.18.0")
(case "8.17" "8.17.0")
(case "8.16" "8.16.0")
(case "8.15" "8.15.0")
(case "8.14" "8.14.1")
(case "8.13" "8.13.2")
(case "8.12" "8.12.0")
(case "8.11" "8.11.0")
(case "8.10" "8.10.0")
(case "8.9" "8.9.0")
(case "8.8" "8.8.0")
(case "8.6" "8.6.1")
(case "8.5" "8.5.0")
] null;
mlPlugin = true;
pkgs/development/coq-modules/unicoq/default.nix
+6 -12
View File
@@ -10,20 +10,14 @@ mkCoqDerivation {
owner = "unicoq";
inherit version;
defaultVersion =
let
case = case: out: { inherit case out; };
in
with lib.versions;
lib.switch coq.version [
{
case = isGe "9.1";
out = "1.6-9.1";
}
{
case = range "8.20" "9.0";
out = "1.6-8.20";
}
{
case = range "8.19" "8.19";
out = "1.6-8.19";
}
(case (range "9.1" "9.2") "1.6-9.1")
(case (range "8.20" "9.0") "1.6-8.20")
(case (range "8.19" "8.19") "1.6-8.19")
] null;
release."1.6-9.1".rev = "0cf37ef7e638bfaad6e804e17bd80e7bb0e1b717";
release."1.6-9.1".hash = "sha256-1EKDkj33pg3AsEpckZYqWppPUZV2OkxM2xLq2zvZGMQ=";
pkgs/top-level/all-packages.nix
+5
View File
@@ -10393,6 +10393,8 @@ with pkgs;
rocq-core_9_1
rocqPackages_9_2
rocq-core_9_2
rocqPackages_9_3
rocq-core_9_3
rocqPackages
rocq-core
;
@@ -10410,6 +10412,7 @@ with pkgs;
rocqPackages_9_0
rocqPackages_9_1
rocqPackages_9_2
rocqPackages_9_3
rocqPackages
;
})
@@ -10448,6 +10451,8 @@ with pkgs;
coq_9_1
coqPackages_9_2
coq_9_2
coqPackages_9_3
coq_9_3
coqPackages
coq
;
pkgs/top-level/coq-packages.nix
+3
View File
@@ -13,6 +13,7 @@
rocqPackages_9_0,
rocqPackages_9_1,
rocqPackages_9_2,
rocqPackages_9_3,
rocqPackages,
fetchpatch,
makeWrapper,
@@ -351,6 +352,7 @@ rec {
coqPackages_9_0 = mkCoqPackages (mkCoq "9.0" rocqPackages_9_0);
coqPackages_9_1 = mkCoqPackages (mkCoq "9.1" rocqPackages_9_1);
coqPackages_9_2 = mkCoqPackages (mkCoq "9.2" rocqPackages_9_2);
coqPackages_9_3 = mkCoqPackages (mkCoq "9.3" rocqPackages_9_3);
coq_8_7 = coqPackages_8_7.coq;
coq_8_8 = coqPackages_8_8.coq;
@@ -369,6 +371,7 @@ rec {
coq_9_0 = coqPackages_9_0.coq;
coq_9_1 = coqPackages_9_1.coq;
coq_9_2 = coqPackages_9_2.coq;
coq_9_3 = coqPackages_9_3.coq;
coqPackages = lib.recurseIntoAttrs coqPackages_9_1;
coq = coqPackages.coq;
pkgs/top-level/rocq-packages.nix
+2
View File
@@ -116,10 +116,12 @@ rec {
rocq-core_9_0 = mkRocq "9.0";
rocq-core_9_1 = mkRocq "9.1";
rocq-core_9_2 = mkRocq "9.2";
rocq-core_9_3 = mkRocq "9.3";
rocqPackages_9_0 = mkRocqPackages rocq-core_9_0;
rocqPackages_9_1 = mkRocqPackages rocq-core_9_1;
rocqPackages_9_2 = mkRocqPackages rocq-core_9_2;
rocqPackages_9_3 = mkRocqPackages rocq-core_9_3;
rocqPackages = lib.recurseIntoAttrs rocqPackages_9_1;
rocq-core = rocqPackages.rocq-core;