HACK nix

LPCIC · Jan 13, 2025 · 657278d · 657278d
1 parent 1dd35f5
commit 657278d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -42,7 +42,7 @@ let master = [
         coqeal.job = false;  # broken in master, c.f. https://github.com/coq/coq/pull/19228
       };
       ocamlPackages = {
-        elpi.override.version = "2.0.6";
+        elpi.override.version = "#308";
       };
     };
 
@@ -55,7 +55,7 @@ let master = [
       ocamlPackages = {
         # when updating this, don't forget to update dune-project
         # then use it to regenerate coq-elpi.opam
-        elpi.override.version = "2.0.6";
+        elpi.override.version = "#308";
       };
     };
 

diff --git a/.nix/coq-overlays/coq-elpi/default.nix b/.nix/coq-overlays/coq-elpi/default.nix
@@ -81,7 +81,7 @@ in
   defaultVersion = lib.switch coq.coq-version [
     {
       case = "8.20";
-      out = "2.2.0";
+      out = "#737";
     }
     {
       case = "8.19";