From 2e0abfb4f6342ee7d251fb8c21eba066ea96fbe1 Mon Sep 17 00:00:00 2001 From: Kazuhiko Sakaguchi Date: Fri, 26 Jul 2024 13:41:21 +0200 Subject: [PATCH] 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 3ac5205c1f..5649649648 100644 --- a/.nix/coq-nix-toolbox.nix +++ b/.nix/coq-nix-toolbox.nix @@ -1 +1 @@ -"66abb687550ec2800bc1724036cfb5d9656c901c" +"53c930417a1185c9d9e87f9a79e2479004a04954"