gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

rocqPackages.rocq-elpi: 3.2.0 -> 3.3.0

Browse Source
This commit is contained in:
Pierre Roux
2026-03-12 10:39:30 +01:00
parent 4c7a21a557
commit bb3d5ff0db
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/rocq-modules/rocq-elpi/default.nix
+3
View File
@@ -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=";