From 262770d66a3bc6e3d90e2df656cf9a9130513467 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Wed, 31 Mar 2021 15:35:34 +0200
Subject: update to last coq-nix-toolbox

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

(limited to '.nix/coq-nix-toolbox.nix')

diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
index 8fb74c6..7049c5d 100644
--- a/.nix/coq-nix-toolbox.nix
+++ b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"8fd39e891d8d5a74321b156d68bc3c615560dade"
+"751410ed320b348e8d066b1b939db0eab40f3a93"
-- 
cgit v1.2.3