From bb3d5ff0dbd43a5f742c8165a62b94a53eed4843 Mon Sep 17 00:00:00 2001 From: Pierre Roux Date: Thu, 12 Mar 2026 10:39:30 +0100 Subject: [PATCH] rocqPackages.rocq-elpi: 3.2.0 -> 3.3.0 --- pkgs/development/rocq-modules/rocq-elpi/default.nix | 3 +++ 1 file changed, 3 insertions(+) diff --git a/pkgs/development/rocq-modules/rocq-elpi/default.nix b/pkgs/development/rocq-modules/rocq-elpi/default.nix index 7a50a127796e..f7e83320f8d3 100644 --- a/pkgs/development/rocq-modules/rocq-elpi/default.nix +++ b/pkgs/development/rocq-modules/rocq-elpi/default.nix @@ -17,6 +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.1") "3.4.5") (case (range "9.0" "9.1") "2.0.7") ] { }; @@ -36,10 +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.1") "3.2.0") (case (range "9.0" "9.1") "2.6.0") (case "9.0" "2.5.2") ] null; + 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="; release."3.0.0".sha256 = "sha256-YMe2is7duGcvAHjM4joUE90EloibjSxqfZThsJhstdU=";