From 3ba4824728c05eeda24be3c4cad12a6a90ea5a1b Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre@roux01.fr>
Date: Thu, 16 Jan 2025 21:15:52 +0100
Subject: [PATCH] [CI] Update Nix toolbox

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

diff --git a/.nix/config.nix b/.nix/config.nix
index a2e1087b2..66d8826e9 100644
--- a/.nix/config.nix
+++ b/.nix/config.nix
@@ -40,15 +40,18 @@ let master = [
         stdlib.override.version = "master";
         coqeal.job = false;  # broken in master, c.f. https://github.com/coq/coq/pull/19228
       };
+      ocamlPackages = { elpi.override.version = "2.0.7"; };
     };
       
+    /* uncomment bundle below if min and max elpi version start to differ
     "coq-master-min-elpi" = {
       coqPackages = common-bundles // {
         coq.override.version = "master";
         stdlib.override.version = "master";
         coqeal.job = false;  # broken in master, c.f. https://github.com/coq/coq/pull/19228
       };
-    };
+      ocamlPackages = { elpi.override.version = "2.0.7"; };
+    }; */
 
   };
 
diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
index 928644b14..12ed0a440 100644
--- a/.nix/coq-nix-toolbox.nix
+++ b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"15528c384deb76abecd596520bc3d9986b06344d"
+"a24e6f4fb01d4ca0811dc8d16246cfe36b37ac52"