[CI] Update Nix toolbox

math-comp · Dec 3, 2024 · fc338b4 · fc338b4
1 parent 7ced470
commit fc338b4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git 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
@@ -1 +1 @@
-"7ff53c990ee876ed8aa55361cbf30a163702a13d"
+"9645246d53428cf2211178542b7eff648f444162"
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		"7ff53c990ee876ed8aa55361cbf30a163702a13d"
		"9645246d53428cf2211178542b7eff648f444162"