[CI] Update Nix toolbox

Following the merge of coq-community/coq-nix-toolbox#302
math-comp · Dec 16, 2024 · 8a5ebc5 · 8a5ebc5
1 parent e038e77
commit 8a5ebc5
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"76c44f0123e79740391775e2f977622e2bdc7f26"
+"fb3515feec422e546de863ad0101e2a51ec9b8db"
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/proux01/coq-nix-toolbox.git";
-  ref = "elpi206";
+  url = "https://github.com/coq-community/coq-nix-toolbox.git";
+  ref = "master";
   rev = import .nix/coq-nix-toolbox.nix;
 };
 in
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		"76c44f0123e79740391775e2f977622e2bdc7f26"
		"fb3515feec422e546de863ad0101e2a51ec9b8db"