From 8a6cb94a71077659c0bdad760fab4f908f311567 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Fri, 12 Mar 2021 16:46:29 +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 88fad11..0795edb 100644
--- a/.nix/coq-nix-toolbox.nix
+++ b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"976149dfa433b987aac825f3f2d445226feae5a5"
+"152a643557a3a6a009b626a5def62a3c60952a43"
-- 
cgit v1.2.3