From bdf53214c60f7047e34706b5a4ef7de96a32b363 Mon Sep 17 00:00:00 2001 From: Mysaa Java Date: Fri, 22 May 2026 14:49:57 +0200 Subject: [PATCH] rocqPackages.rocq-elpi: 3.3.0 -> 3.4.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 faf9b75462e8..16391b5ee9d2 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.2") + (case (range "9.0" "9.2") "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,12 @@ let in with lib.versions; lib.switch rocq-core.rocq-version [ - (case (range "9.0" "9.2") "3.3.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.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="; release."3.1.0".sha256 = "sha256-ytGPGwJv+jmRT6uN0sg6q+xh8ND0PMIZ9ULB0Uwca1w=";