From 243e507244987ad7711fda495a253e731685f9f9 Mon Sep 17 00:00:00 2001
From: Florent Hivert <Florent.Hivert@lri.fr>
Date: Wed, 8 Jan 2025 19:46:27 +0100
Subject: [PATCH] New coq-nix-toolbox.ni

---
 .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 2ca1468..dd5f8ff 100644
--- a/.nix/coq-nix-toolbox.nix
+++ b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"dd771a5001cd955514f2462cad7cdd90377530e3"
+"98bf866ef64cd2f9c4ba6a9eb73b16c5019fcde7"