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

rocqPackages.hierarchy-builder: 1.10.0 -> 1.10.2 (#484757)

Browse Source
This commit is contained in:
Vincent Laporte
2026-01-29 07:16:33 +00:00
committed by GitHub
parent 1b0767ac55 4a0cd38c8e
commit c8f82e8bf3
2 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/ocaml-modules/elpi/default.nix
+1 -1
View File
@@ -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
]
pkgs/development/rocq-modules/hierarchy-builder/default.nix
+2
View File
@@ -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}";