Update .nix/config.nix

math-comp · Jan 15, 2025 · 37368af · 37368af
1 parent bc70317
commit 37368af
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -30,11 +30,11 @@
       paramcoq.override.version = "master";
       coqeal.job = false;  # broken in master, c.f. https://github.com/coq/coq/pull/19228
     };
-    "coq-master".ocamlPackages = { elpi.override.version = "#308"; };
+    "coq-master".ocamlPackages = { elpi.override.version = "2.0.7"; };
 
     "coq-8.20".coqPackages = mcHBcommon // {
       coq.override.version = "8.20";
-      ocamlPackages = { elpi.override.version = "#308"; };
+      ocamlPackages = { elpi.override.version = "2.0.7"; };
     };
 
     "coq-8.19".coqPackages = mcHBcommon // {