From 18a0d770ba36f2e7bc7b2a21a8e2608db15d86ef Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Fri, 12 Mar 2021 18:19:28 +0100
Subject: update nix toolbox

---
 .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 b227c71..88fad11 100644
--- a/.nix/coq-nix-toolbox.nix
+++ b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"abedd5c5b61c5650f661993b16c113e0672b2b94"
+"976149dfa433b987aac825f3f2d445226feae5a5"
-- 
cgit v1.2.3