From 0689273dfde8187f52e939d65d2b210a80b62cee Mon Sep 17 00:00:00 2001
From: Kazuhiko Sakaguchi <pi8027@gmail.com>
Date: Tue, 9 Jul 2024 13:44:58 +0200
Subject: [PATCH] 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 89ae78de83..2a35b59f9b 100644
--- a/.nix/config.nix
+++ b/.nix/config.nix
@@ -49,12 +49,15 @@
 
   bundles."master".coqPackages = {
     coq.override.version = "master";
-    coq-elpi.override.version = "coq-master";
+    coq-elpi.override.version = "master";
     hierarchy-builder.override.version = "master";
     mathcomp.override.version = "master";
     mathcomp-bigenough.override.version = "1.0.1";
     mathcomp-finmap.override.version = "master";
   };
+  bundles."master".ocamlPackages = {
+    elpi.override.version = "1.19.2";
+  };
 
   ## Cachix caches to use in CI
   ## Below we list some standard ones
diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
index e9f87038bf..3ac5205c1f 100644
--- a/.nix/coq-nix-toolbox.nix
+++ b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"5814f779562efc3e3c0f9bfeaea0468728e2e08b"
+"66abb687550ec2800bc1724036cfb5d9656c901c"