From df0e600a3aecfc69bfa1b3ab11d444bf6a6008d0 Mon Sep 17 00:00:00 2001
From: Kazuhiko Sakaguchi <pi8027@gmail.com>
Date: Fri, 26 Jul 2024 13:41:21 +0200
Subject: [PATCH] Update Nix toolbox

---
 .nix/config.nix          | 2 +-
 .nix/coq-nix-toolbox.nix | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.nix/config.nix b/.nix/config.nix
index 5b82299820..2f82da4a6e 100644
--- a/.nix/config.nix
+++ b/.nix/config.nix
@@ -57,7 +57,7 @@
     coq-elpi.override.version = "master";
     hierarchy-builder.override.version = "master";
     mathcomp.override.version = "master";
-    mathcomp-bigenough.override.version = "1.0.1";
+    mathcomp-bigenough.override.version = "master";
     mathcomp-finmap.override.version = "master";
   }; ocamlPackages = { elpi.override.version = "1.19.2"; }; };
 
diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
index 3ac5205c1f..5649649648 100644
--- a/.nix/coq-nix-toolbox.nix
+++ b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"66abb687550ec2800bc1724036cfb5d9656c901c"
+"53c930417a1185c9d9e87f9a79e2479004a04954"