From 167d49883744744d8e14c32a3a67aa2b7dd59a35 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Sun, 14 Mar 2021 14:38:58 +0100
Subject: toolbox update

---
 .nix/coq-nix-toolbox.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
index 0795edb..5499a57 100644
--- a/.nix/coq-nix-toolbox.nix
+++ b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"152a643557a3a6a009b626a5def62a3c60952a43"
+"de89ff16c149b7a7aec3cfe9d379641ee1aca229"
-- 
cgit v1.2.3