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

ocamlPackages.elpi: 3.4.5 -> 3.6.1 (#496861)

Browse Source
This commit is contained in:
Vincent Laporte
2026-03-05 13:23:30 +00:00
committed by GitHub
parent 1b7d46003b 44e8baad9f
commit e4cbef8430
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/ocaml-modules/elpi/default.nix
+2 -1
View File
@@ -18,7 +18,7 @@
coqPackages,
version ?
if lib.versionAtLeast ocaml.version "4.13" then
"3.4.5"
"3.6.1"
else if lib.versionAtLeast ocaml.version "4.08" then
"1.20.0"
else
@@ -34,6 +34,7 @@ in
let
fetched = coqPackages.metaFetch {
release."3.6.1".sha256 = "sha256-zoVgRqNAXeCgk3zGntVkkZxIiQrCU5+ONeI97BiT674=";
release."3.4.5".sha256 = "sha256-cck6XqC98Z9lb3CYS8K/aB1WOckjAyXzZ14vX41nJvI=";
release."3.4.4".sha256 = "sha256-SvNNAyBYIkSMv3rhx0wVu2JjHdGYUOqaFzZKGBMMebs=";
release."3.4.3".sha256 = "sha256-2bzUzUO/Ps1uxHHIzQx0pULme9upYxBBggenxaQrd+I=";