Test Nix toolbox update

LPCIC · Dec 4, 2024 · 820eb93 · 820eb93
1 parent 78af386
commit 820eb93
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 150 deletions.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -31,6 +31,9 @@ let master = [
       coqPackages = common-bundles // {
         coq.override.version = "8.20";
       };
+      ocamlPackages = {
+        elpi.override.version = "2.0.4";
+      };
     };
 
     "coq-master" = {
@@ -39,7 +42,7 @@ let master = [
         coqeal.job = false;  # broken in master, c.f. https://github.com/coq/coq/pull/19228
       };
       ocamlPackages = {
-        elpi.override.version = "v2.0.3";
+        elpi.override.version = "2.0.4";
       };
     };
 
@@ -51,7 +54,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 = "v2.0.3";
+        elpi.override.version = "2.0.4";
       };
     };
 

diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"858ff8dd010deded3b9cab8e04fbfad20151af5c"
+"9c3b4c4add065ca13df0f07254ae1348115467a6"
diff --git a/.nix/coq-overlays/coq-elpi/default.nix b/.nix/coq-overlays/coq-elpi/default.nix
diff --git a/.nix/ocaml-overlays/elpi/default.nix b/.nix/ocaml-overlays/elpi/default.nix
diff --git a/default.nix b/default.nix
@@ -4,8 +4,8 @@
   bundle ? null, job ? null, inNixShell ? null, src ? ./.,
 }@args:
 let auto = fetchGit {
-  url = "https://github.com/coq-community/coq-nix-toolbox.git";
-  ref = "master";
+  url = "https://github.com/proux01/coq-nix-toolbox.git";
+  ref = "elpi2";
   rev = import .nix/coq-nix-toolbox.nix;
 };
 in
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		"858ff8dd010deded3b9cab8e04fbfad20151af5c"
		"9c3b4c4add065ca13df0f07254ae1348115467a6"