From 8eeba209c5a24c03cc5604a847e32fb67598786f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= <theo.zimmermann@telecom-paris.fr>
Date: Sun, 15 Oct 2023 19:49:54 +0200
Subject: [PATCH] Fix link to Coq Nix Toolbox.

Now that HTTP redirects do not work anymore on coq.inria.fr.
---
 .travis.yml.mustache    | 2 +-
 nix-action.yml.mustache | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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") ./.; }'