From 1870911b3215483ca1ec32c832549cad0761ffe5 Mon Sep 17 00:00:00 2001 From: Pierre Roux Date: Fri, 24 Jul 2026 08:37:01 +0200 Subject: [PATCH 1/2] rocqPackages.rocq-elpi: 3.4.0 -> 3.5.0 --- pkgs/development/rocq-modules/hierarchy-builder/default.nix | 2 +- pkgs/development/rocq-modules/rocq-elpi/default.nix | 4 +++- pkgs/development/rocq-modules/rocqnavi/default.nix | 2 +- 3 files changed, 5 insertions(+), 3 deletions(-) diff --git a/pkgs/development/rocq-modules/hierarchy-builder/default.nix b/pkgs/development/rocq-modules/hierarchy-builder/default.nix index 25e0621aab3e..9617bfc100e6 100644 --- a/pkgs/development/rocq-modules/hierarchy-builder/default.nix +++ b/pkgs/development/rocq-modules/hierarchy-builder/default.nix @@ -17,7 +17,7 @@ let in with lib.versions; lib.switch rocq-core.rocq-version [ - (case (range "9.0" "9.2") "1.10.3") + (case (range "9.0" "9.3") "1.10.3") (case (range "9.0" "9.1") "1.10.2") (case (range "9.0" "9.1") "1.10.0") (case (range "9.0" "9.1") "1.9.1") diff --git a/pkgs/development/rocq-modules/rocq-elpi/default.nix b/pkgs/development/rocq-modules/rocq-elpi/default.nix index 16391b5ee9d2..6c79e39c29f5 100644 --- a/pkgs/development/rocq-modules/rocq-elpi/default.nix +++ b/pkgs/development/rocq-modules/rocq-elpi/default.nix @@ -17,7 +17,7 @@ let in with lib.versions; lib.switch rocq-core.rocq-version [ - (case (range "9.0" "9.2") "3.7.1") + (case (range "9.0" "9.3") "3.7.1") (case (range "9.0" "9.1") "3.4.5") (case (range "9.0" "9.1") "2.0.7") ] rocq-core.ocamlPackages.elpi.version; @@ -37,11 +37,13 @@ let in with lib.versions; lib.switch rocq-core.rocq-version [ + (case (range "9.0" "9.3") "3.5.0") (case (range "9.0" "9.2") "3.4.0") (case (range "9.0" "9.1") "3.2.0") (case (range "9.0" "9.1") "2.6.0") (case "9.0" "2.5.2") ] null; + release."3.5.0".sha256 = "sha256-k6kbkFRngQmKUP0owiFOxJzdJVRte5IlZWG4Tpqd3YU="; release."3.4.0".sha256 = "sha256-8x2Sa/+pUpXEqB+NdyfOyw6Yyzp6Q1k5LnhrjG/qJNM="; release."3.3.0".sha256 = "sha256-wcsUpw7S+H9CaXuz+W3g22IFWO2cLllJ4xm2qLTG0nM="; release."3.2.0".sha256 = "sha256-FyYG/8lEyt1L/paMez8jYAnnUE+sxIp4Da5MztmwJ/c="; diff --git a/pkgs/development/rocq-modules/rocqnavi/default.nix b/pkgs/development/rocq-modules/rocqnavi/default.nix index 1aa8484bd6ba..ea2e62cadf47 100644 --- a/pkgs/development/rocq-modules/rocqnavi/default.nix +++ b/pkgs/development/rocq-modules/rocqnavi/default.nix @@ -17,7 +17,7 @@ mkRocqDerivation { in with versions; switch rocq-core.rocq-version [ - (case (range "9.0" "9.2") "0.5.0") + (case (range "9.0" "9.3") "0.5.0") ] null; release = { "0.5.0".hash = "sha256-pmK4gD5ccerjr2UVgwGIVbjH/RiXdYQq79/XFetiHZg="; From 54f8f8a82989783ce771a10c7eb754afaa3880ad Mon Sep 17 00:00:00 2001 From: Pierre Roux Date: Fri, 24 Jul 2026 08:39:27 +0200 Subject: [PATCH 2/2] rocqPackages.micromega-plugin: 1.1.0 -> 1.1.1 --- pkgs/development/coq-modules/multinomials/default.nix | 2 +- pkgs/development/coq-modules/odd-order/default.nix | 2 +- pkgs/development/rocq-modules/mathcomp-bigenough/default.nix | 2 +- pkgs/development/rocq-modules/mathcomp-finmap/default.nix | 2 +- pkgs/development/rocq-modules/mathcomp-real-closed/default.nix | 2 +- pkgs/development/rocq-modules/mathcomp/default.nix | 2 +- pkgs/development/rocq-modules/micromega-plugin/default.nix | 2 ++ 7 files changed, 8 insertions(+), 6 deletions(-) diff --git a/pkgs/development/coq-modules/multinomials/default.nix b/pkgs/development/coq-modules/multinomials/default.nix index 4a2b180e370c..f5add5287c63 100644 --- a/pkgs/development/coq-modules/multinomials/default.nix +++ b/pkgs/development/coq-modules/multinomials/default.nix @@ -33,7 +33,7 @@ mkCoqDerivation { lib.switch [ coq.coq-version mathcomp.version ] [ - (case (range "9.0" "9.2") (range "2.6.0" "2.6.0") "2.5.0") # also works on MC 2.4 and 2.5 but breaks validsdp + (case (range "9.0" "9.3") (range "2.6.0" "2.6.0") "2.5.0") # also works on MC 2.4 and 2.5 but breaks validsdp (case (range "8.18" "9.1") (range "2.1.0" "2.5.0") "2.4.0") (case (range "8.17" "9.0") (range "2.1.0" "2.3.0") "2.3.0") (case (range "8.17" "8.20") (isGe "2.1.0") "2.2.0") diff --git a/pkgs/development/coq-modules/odd-order/default.nix b/pkgs/development/coq-modules/odd-order/default.nix index e69d05d2db6a..675b01928c93 100644 --- a/pkgs/development/coq-modules/odd-order/default.nix +++ b/pkgs/development/coq-modules/odd-order/default.nix @@ -34,7 +34,7 @@ mkCoqDerivation { lib.switch [ coq.coq-version mathcomp-character.version ] [ - (case (range "9.1" "9.2") (range "2.5" "2.6") "2.4.0") + (case (range "9.1" "9.3") (range "2.5" "2.6") "2.4.0") (case (range "9.0" "9.1") (range "2.5" "2.5") "2.3.0") (case (range "8.16" "9.1") (range "2.2.0" "2.4.0") "2.2.0") (case (range "8.16" "9.0") (range "2.1.0" "2.3.0") "2.1.0") diff --git a/pkgs/development/rocq-modules/mathcomp-bigenough/default.nix b/pkgs/development/rocq-modules/mathcomp-bigenough/default.nix index 2fd7f57d8f3a..0f6c1ce50129 100644 --- a/pkgs/development/rocq-modules/mathcomp-bigenough/default.nix +++ b/pkgs/development/rocq-modules/mathcomp-bigenough/default.nix @@ -25,7 +25,7 @@ mkRocqDerivation { in with lib.versions; lib.switch rocq-core.rocq-version [ - (case (range "9.0" "9.2") "1.0.4") + (case (range "9.0" "9.3") "1.0.4") ] null; propagatedBuildInputs = [ mathcomp-boot ]; diff --git a/pkgs/development/rocq-modules/mathcomp-finmap/default.nix b/pkgs/development/rocq-modules/mathcomp-finmap/default.nix index 7d71d4767c61..440833462d4b 100644 --- a/pkgs/development/rocq-modules/mathcomp-finmap/default.nix +++ b/pkgs/development/rocq-modules/mathcomp-finmap/default.nix @@ -29,7 +29,7 @@ mkRocqDerivation { lib.switch [ rocq-core.rocq-version mathcomp-boot.version ] [ - (case (range "9.2" "9.2") (range "2.5" "2.6") "2.2.4") # also compiles on Rocq 9.0 and 9.1 (but requires graph-theory update) + (case (range "9.2" "9.3") (range "2.5" "2.6") "2.2.4") # also compiles on Rocq 9.0 and 9.1 (but requires graph-theory update) (case (range "9.0" "9.1") (range "2.3" "2.5") "2.2.2") ] null; diff --git a/pkgs/development/rocq-modules/mathcomp-real-closed/default.nix b/pkgs/development/rocq-modules/mathcomp-real-closed/default.nix index 8f26ad0b6dbe..bfa1f4bccbd2 100644 --- a/pkgs/development/rocq-modules/mathcomp-real-closed/default.nix +++ b/pkgs/development/rocq-modules/mathcomp-real-closed/default.nix @@ -35,7 +35,7 @@ mkRocqDerivation { lib.switch [ rocq-core.version mathcomp.version ] [ - (case (range "9.0" "9.2") (isGe "2.6.0") "2.0.6") + (case (range "9.0" "9.3") (isGe "2.6.0") "2.0.6") (case (range "9.0" "9.2") (isEq "2.5.0") "2.0.5") ] null; diff --git a/pkgs/development/rocq-modules/mathcomp/default.nix b/pkgs/development/rocq-modules/mathcomp/default.nix index 1c25a1bbe76d..2b35e9ac3426 100644 --- a/pkgs/development/rocq-modules/mathcomp/default.nix +++ b/pkgs/development/rocq-modules/mathcomp/default.nix @@ -35,7 +35,7 @@ let inherit (lib.versions) range; in lib.switch rocq-core.rocq-version [ - (case (range "9.2" "9.2") "2.6.0") # also compiles on Rocq 9.0 and 9.1 + (case (range "9.2" "9.3") "2.6.0") # also compiles on Rocq 9.0 and 9.1 (case (range "9.0" "9.1") "2.5.0") ] null; release = { diff --git a/pkgs/development/rocq-modules/micromega-plugin/default.nix b/pkgs/development/rocq-modules/micromega-plugin/default.nix index cc0be5454447..9dd0c0ebee5c 100644 --- a/pkgs/development/rocq-modules/micromega-plugin/default.nix +++ b/pkgs/development/rocq-modules/micromega-plugin/default.nix @@ -15,10 +15,12 @@ mkRocqDerivation { in with lib.versions; lib.switch rocq-core.rocq-version [ + (case (range "9.0" "9.3") "1.1.1") (case (range "9.0" "9.2") "1.1.0") ] null; release = { + "1.1.1".hash = "sha256-TIUbrMRoPkLx3QcBGTAEdnzqt4HcKOHaQwJWUtBXUQA="; "1.1.0".hash = "sha256-CWMbGErC5bu20Yu9eskgslLkzmSof6klNlOYEkQjUjc="; }; releaseRev = v: "v${v}";