From 24e6aa6736a52d40b06349f49d11fbb8d18c2c84 Mon Sep 17 00:00:00 2001 From: Pierre Roux Date: Thu, 23 Jul 2026 11:06:02 +0200 Subject: [PATCH] rocq-core_9_3: init at 9.3+rc1 --- .../science/logic/coq/default.nix | 1 + .../science/logic/rocq-core/default.nix | 1 + .../coq-modules/aac-tactics/default.nix | 85 +++++-------------- .../coq-modules/unicoq/default.nix | 18 ++-- pkgs/top-level/all-packages.nix | 5 ++ pkgs/top-level/coq-packages.nix | 3 + pkgs/top-level/rocq-packages.nix | 2 + 7 files changed, 38 insertions(+), 77 deletions(-) diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index c4ceadf55bfa..4ca277b76975 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -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 = diff --git a/pkgs/applications/science/logic/rocq-core/default.nix b/pkgs/applications/science/logic/rocq-core/default.nix index 6355c5177594..500cd6592e4c 100644 --- a/pkgs/applications/science/logic/rocq-core/default.nix +++ b/pkgs/applications/science/logic/rocq-core/default.nix @@ -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 = diff --git a/pkgs/development/coq-modules/aac-tactics/default.nix b/pkgs/development/coq-modules/aac-tactics/default.nix index 65ee981171ae..4d27ac065a44 100644 --- a/pkgs/development/coq-modules/aac-tactics/default.nix +++ b/pkgs/development/coq-modules/aac-tactics/default.nix @@ -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; diff --git a/pkgs/development/coq-modules/unicoq/default.nix b/pkgs/development/coq-modules/unicoq/default.nix index 135f6515d397..65c61ff6782d 100644 --- a/pkgs/development/coq-modules/unicoq/default.nix +++ b/pkgs/development/coq-modules/unicoq/default.nix @@ -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="; diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index a552d5bc492e..14e526a46703 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -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 ; diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index ebe42498e38a..190131bacea1 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -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; diff --git a/pkgs/top-level/rocq-packages.nix b/pkgs/top-level/rocq-packages.nix index 7b48e4d73079..2ac334787eb1 100644 --- a/pkgs/top-level/rocq-packages.nix +++ b/pkgs/top-level/rocq-packages.nix @@ -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;