From def62c0d25e56d909f0d3902b836383f87666d48 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Tue, 3 Dec 2024 10:09:30 +0100
Subject: [PATCH] [CI] Update Nix toolbox

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

diff --git a/.nix/config.nix b/.nix/config.nix
index ef948d907..743d534e9 100644
--- a/.nix/config.nix
+++ b/.nix/config.nix
@@ -56,7 +56,6 @@ in
   bundles."8.20".coqPackages = common-bundle // {
     coq.override.version = "8.20";
     mathcomp.override.version = "2.2.0";
-    ssprove.job = false;
   };
 
   bundles."master" = { coqPackages = common-bundle // {
@@ -67,7 +66,7 @@ in
     mathcomp-bigenough.override.version = "master";
     mathcomp-finmap.override.version = "master";
     ssprove.job = false;
-  }; ocamlPackages = { elpi.override.version = "1.19.2"; }; };
+  }; ocamlPackages = { elpi.override.version = "1.20.0"; }; };
 
   ## 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 57c8d2bdf..9bff7cb01 100644
--- a/.nix/coq-nix-toolbox.nix
+++ b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"7ff53c990ee876ed8aa55361cbf30a163702a13d"
+"9645246d53428cf2211178542b7eff648f444162"