Unverified Commit c7c841bd authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

rocqPackages.rocq-elpi: fix default elpi version (#499194)

parents 9aa8fa66 ce85f476

pkgs/development/rocq-modules/rocq-elpi/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -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