nix update

Author: CohenCyril

.nix/coq-nix-toolbox.nix

@@ -1 +1 @@
-"43a9424c3bc743a95958d32e893b76814ed9ecbe"
+"a1bfc972fc850d935b8a38c8d901c54299b8df41"

default.nix

@@ -1,10 +1,10 @@
 { config ? {}, withEmacs ? false, print-env ? false, do-nothing ? false,
   update-nixpkgs ? false, ci-matrix ? false,
-  override ? {}, ocaml-override ? {}, global-override ? {},
+  override ? {}, coq-override ? {}, ocaml-override ? {}, global-override ? {},
   bundle ? null, job ? null, inNixShell ? null, src ? ./.,
 }@args:
 let auto = fetchGit {
-  url = "https://github.com/rocq-community/coq-nix-toolbox.git";
+  url = "https://github.com/coq-community/coq-nix-toolbox.git";
   ref = "master";
   rev = import .nix/coq-nix-toolbox.nix;
 };