From 13bfe0d63b0c368c6ca17415631c06d547b78dc0 Mon Sep 17 00:00:00 2001 From: Pierre Roux Date: Mon, 23 Mar 2026 08:26:06 +0100 Subject: [PATCH 1/2] ocamlPackages.elpi: 3.6.1 -> 3.6.2 --- pkgs/development/ocaml-modules/elpi/default.nix | 3 ++- pkgs/development/rocq-modules/rocq-elpi/default.nix | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/pkgs/development/ocaml-modules/elpi/default.nix b/pkgs/development/ocaml-modules/elpi/default.nix index 085a5c2fdf0a..553ffabd31f8 100644 --- a/pkgs/development/ocaml-modules/elpi/default.nix +++ b/pkgs/development/ocaml-modules/elpi/default.nix @@ -18,7 +18,7 @@ coqPackages, version ? if lib.versionAtLeast ocaml.version "4.13" then - "3.6.1" + "3.6.2" else if lib.versionAtLeast ocaml.version "4.08" then "1.20.0" else @@ -34,6 +34,7 @@ in let fetched = coqPackages.metaFetch { + release."3.6.2".sha256 = "sha256-BDE4L5qYZfaMt+6JivNBJIaJGeDSf5E+Kw1Wera/WFk="; release."3.6.1".sha256 = "sha256-zoVgRqNAXeCgk3zGntVkkZxIiQrCU5+ONeI97BiT674="; release."3.4.5".sha256 = "sha256-cck6XqC98Z9lb3CYS8K/aB1WOckjAyXzZ14vX41nJvI="; release."3.4.4".sha256 = "sha256-SvNNAyBYIkSMv3rhx0wVu2JjHdGYUOqaFzZKGBMMebs="; diff --git a/pkgs/development/rocq-modules/rocq-elpi/default.nix b/pkgs/development/rocq-modules/rocq-elpi/default.nix index d26cb1be419c..faf9b75462e8 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.6.1") + (case (range "9.0" "9.2") "3.6.2") (case (range "9.0" "9.1") "3.4.5") (case (range "9.0" "9.1") "2.0.7") ] rocq-core.ocamlPackages.elpi.version; From a457602c18e65911dcd5e41ed61ccfb71bdd85d7 Mon Sep 17 00:00:00 2001 From: Pierre Roux Date: Mon, 23 Mar 2026 08:27:30 +0100 Subject: [PATCH 2/2] coqPackages.coq-elpi: use default elpi-version when not provided --- pkgs/development/coq-modules/coq-elpi/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/coq-modules/coq-elpi/default.nix b/pkgs/development/coq-modules/coq-elpi/default.nix index a3fea8bacdcf..b0134851418b 100644 --- a/pkgs/development/coq-modules/coq-elpi/default.nix +++ b/pkgs/development/coq-modules/coq-elpi/default.nix @@ -27,7 +27,7 @@ let (case (range "8.13" "8.14") "1.13.7") (case "8.12" "1.12.0") (case "8.11" "1.11.4") - ] { } + ] coq.ocamlPackages.elpi.version ); elpi = coq.ocamlPackages.elpi.override { version = default-elpi-version; }; propagatedBuildInputs_wo_elpi = [