From 4a0cd38c8e008e3b5e46b8b15d272a625af90e35 Mon Sep 17 00:00:00 2001 From: Pierre Roux Date: Wed, 28 Jan 2026 16:13:55 +0100 Subject: [PATCH] rocqPackages.hierarchy-builder: 1.10.0 -> 1.10.2 --- pkgs/development/ocaml-modules/elpi/default.nix | 2 +- pkgs/development/rocq-modules/hierarchy-builder/default.nix | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/development/ocaml-modules/elpi/default.nix b/pkgs/development/ocaml-modules/elpi/default.nix index 6b9dc3739119..1463cbf355b9 100644 --- a/pkgs/development/ocaml-modules/elpi/default.nix +++ b/pkgs/development/ocaml-modules/elpi/default.nix @@ -90,7 +90,7 @@ buildDunePackage { ] ++ (if lib.versionAtLeast version "1.15" || version == "dev" then [ menhirLib ] else [ camlp5 ]) ++ ( - if lib.versionAtLeast version "3.3.0" || version == "dev" then + if lib.versionAtLeast version "2.0.7" || version == "dev" then [ ppx_deriving ] diff --git a/pkgs/development/rocq-modules/hierarchy-builder/default.nix b/pkgs/development/rocq-modules/hierarchy-builder/default.nix index 5cc0e55698eb..84f8c41c91ca 100644 --- a/pkgs/development/rocq-modules/hierarchy-builder/default.nix +++ b/pkgs/development/rocq-modules/hierarchy-builder/default.nix @@ -17,9 +17,11 @@ let in with lib.versions; lib.switch rocq-core.rocq-version [ + (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") ] null; + release."1.10.2".sha256 = "sha256-Uzni9qrYQP45Tr+JkHs0BuRARwmWSMwA/iHhIzkolxc="; release."1.10.0".sha256 = "sha256-c52nS8I0tia7Q8lZTFJyHVPVabW9xv55m7w6B7y3+e8="; release."1.9.1".sha256 = "sha256-AiS0ezMyfIYlXnuNsVLz1GlKQZzJX+ilkrKkbo0GrF0="; releaseRev = v: "v${v}";