From bb1327e812d1eaaedc6376a2bafb5e5b801cc20a Mon Sep 17 00:00:00 2001 From: Pierre Roux Date: Thu, 9 Oct 2025 13:39:28 +0200 Subject: [PATCH] coqPackages.rocq-elpi: 3.1.0 -> 3.2.0 --- pkgs/development/rocq-modules/rocq-elpi/default.nix | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/pkgs/development/rocq-modules/rocq-elpi/default.nix b/pkgs/development/rocq-modules/rocq-elpi/default.nix index dcc4e07cd68c..487d89931196 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.1") "3.3.0") + (case (range "9.0" "9.1") "3.4.1") (case (range "9.0" "9.1") "2.0.7") ] { }; elpi = rocq-core.ocamlPackages.elpi.override { version = default-elpi-version; }; @@ -36,10 +36,11 @@ let in with lib.versions; lib.switch rocq-core.rocq-version [ - (case (range "9.0" "9.1") "3.1.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.2.0".sha256 = "sha256-FyYG/8lEyt1L/paMez8jYAnnUE+sxIp4Da5MztmwJ/c="; release."3.1.0".sha256 = "sha256-ytGPGwJv+jmRT6uN0sg6q+xh8ND0PMIZ9ULB0Uwca1w="; release."3.0.0".sha256 = "sha256-YMe2is7duGcvAHjM4joUE90EloibjSxqfZThsJhstdU="; release."2.6.0".sha256 = "sha256-23BHq1NFUkI3ayXnGUwiGFySLyY3EuH4RyMgAhQqI4g=";