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

rocqPackages.rocq-elpi: fix default elpi version

Browse Source
This commit is contained in:
Pierre Roux
2026-03-12 09:48:57 +01:00
parent ba62c0333d
commit ce85f4761e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/rocq-modules/rocq-elpi/default.nix
+1 -1
View File
@@ -19,7 +19,7 @@ let
lib.switch rocq-core.rocq-version [
(case (range "9.0" "9.1") "3.4.5")
(case (range "9.0" "9.1") "2.0.7")
] { };
] rocq-core.ocamlPackages.elpi.version;
elpi = rocq-core.ocamlPackages.elpi.override { version = default-elpi-version; };
propagatedBuildInputs_wo_elpi = [
rocq-core.ocamlPackages.findlib