Update Nix toolbox

math-comp · Jul 8, 2024 · 89543be · 89543be
1 parent a25ffeb
commit 89543be
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -44,7 +44,7 @@
                mathcomp.override.version = mcv;
                mathcomp.job = false;
         } // (if (coqv == "master") then {
-            coq-elpi.override.version = "coq-master";
+            coq-elpi.override.version = "master";
             hierarchy-builder.override.version = "master";
         } else {}) // {
             mathcomp-real-closed.override.version = "master";

diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"281be33f1e42a92e5c47f30907819aad1a45e5f2"
+"66abb687550ec2800bc1724036cfb5d9656c901c"