From 31edb5a6a2fe9b3ac5776f63481c0ad07845f4cc Mon Sep 17 00:00:00 2001
From: Kazuhiko Sakaguchi <pi8027@gmail.com>
Date: Mon, 8 Jul 2024 11:49:21 +0200
Subject: [PATCH] Update Nix toolbox

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

diff --git a/.nix/config.nix b/.nix/config.nix
index 2cbd823..8ce681c 100644
--- a/.nix/config.nix
+++ b/.nix/config.nix
@@ -44,7 +44,7 @@
                mathcomp.override.version = mcv;
                mathcomp.job = false;
         } // (if (coqv == "master") then {
-            coq-elpi.override.version = "coq-master";
+            coq-elpi.override.version = "master";
             hierarchy-builder.override.version = "master";
         } else {}) // {
             mathcomp-real-closed.override.version = "master";
@@ -55,6 +55,7 @@
     gen "8.17" "mathcomp-2.1.0" //
     gen "8.18" "mathcomp-2.1.0" //
     gen "8.19" "mathcomp-2.2.0" //
+    { "coqmaster+mcmaster".ocamlPackages = { elpi.override.version = "1.19.2"; }; } //
     gen "master" "master";
 
   ## Cachix caches to use in CI
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"