From 13bfe0d63b0c368c6ca17415631c06d547b78dc0 Mon Sep 17 00:00:00 2001 From: Pierre Roux Date: Mon, 23 Mar 2026 08:26:06 +0100 Subject: [PATCH] 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;