diff --git a/.travis.yml.mustache b/.travis.yml.mustache
index ae87f82..8495719 100644
--- a/.travis.yml.mustache
+++ b/.travis.yml.mustache
@@ -62,7 +62,7 @@ language: shell
   - cachix use math-comp
 {{/ cachix }}
   script: >
-    nix-build https://coq.inria.fr/nix/toolbox --argstr job {{ shortname }} --arg override "{ $VERSIONS; {{ shortname }} = builtins.filterSource (path: _: baseNameOf path != \".git\") ./.; }"
+    nix-build https://github.com/coq-community/coq-nix-toolbox/archive/master.tar.gz --argstr job {{ shortname }} --arg override "{ $VERSIONS; {{ shortname }} = builtins.filterSource (path: _: baseNameOf path != \".git\") ./.; }"
 {{/ nix }}
 jobs:
   include:
diff --git a/nix-action.yml.mustache b/nix-action.yml.mustache
index bbe0c9a..06bda62 100644
--- a/nix-action.yml.mustache
+++ b/nix-action.yml.mustache
@@ -66,4 +66,4 @@ jobs:
           submodules: recursive
 <%/ submodule %>
       - run: >
-          nix-build https://coq.inria.fr/nix/toolbox --argstr job <% shortname %> --arg override '{ ${{ matrix.overrides }}; <% shortname %> = builtins.filterSource (path: _: baseNameOf path != ".git") ./.; }'
+          nix-build https://github.com/coq-community/coq-nix-toolbox/archive/master.tar.gz --argstr job <% shortname %> --arg override '{ ${{ matrix.overrides }}; <% shortname %> = builtins.filterSource (path: _: baseNameOf path != ".git") ./.; }'