From 07f012ebc4f5a8f53f22923f52871d4480d32995 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= <theo.zimmermann@inria.fr>
Date: Tue, 31 Aug 2021 22:15:35 +0200
Subject: [PATCH] Update Coq Nix Toolbox.

---
 .nix/coq-nix-toolbox.nix | 2 +-
 default.nix              | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
index 1d3ed7e4..a8c436c8 100644
--- a/.nix/coq-nix-toolbox.nix
+++ b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"025f74d19e65863eb017a204627c4b872a5e6ce6"
+"4d8cc4ac0ce259be956939f80b3d57c94971a83f"
diff --git a/default.nix b/default.nix
index 4f0a8ec2..1a24d7a1 100644
--- a/default.nix
+++ b/default.nix
@@ -5,7 +5,7 @@
 }@args:
 let auto = fetchGit {
   url = "https://github.com/coq-community/coq-nix-toolbox.git";
-  ref = "cachix-for-forks";
+  ref = "master";
   rev = import .nix/coq-nix-toolbox.nix;
 };
 in