diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
index 6ac626e6..eb2e2bb9 100644
--- a/.nix/coq-nix-toolbox.nix
+++ b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"76c44f0123e79740391775e2f977622e2bdc7f26"
+"fb3515feec422e546de863ad0101e2a51ec9b8db"
diff --git a/default.nix b/default.nix
index 7c656a57..1a24d7a1 100644
--- 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