diff --git a/.nix/config.nix b/.nix/config.nix
index ef948d907..43350ac9f 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 = "v2.0.3"; }; };
 
   ## 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"