diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
index b5a006a..3ac5205 100644
--- a/.nix/coq-nix-toolbox.nix
+++ b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"281be33f1e42a92e5c47f30907819aad1a45e5f2"
+"66abb687550ec2800bc1724036cfb5d9656c901c"