Merge pull request #500 from proux01/ci-update

proux01 · web-flow · commit 2c9441131abe · 2025-01-17T10:49:06.000+01:00
[CI] Update Nix toolbox
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -34,7 +34,6 @@
 
     "coq-8.20".coqPackages = mcHBcommon // {
       coq.override.version = "8.20";
-      ocamlPackages = { elpi.override.version = "2.0.7"; };
     };
 
     "coq-8.19".coqPackages = mcHBcommon // {
diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"fb3515feec422e546de863ad0101e2a51ec9b8db"
+"a24e6f4fb01d4ca0811dc8d16246cfe36b37ac52"
diff --git a/.nix/coq-overlays/coq-elpi/default.nix b/.nix/coq-overlays/coq-elpi/default.nix
@@ -81,7 +81,7 @@ in
   defaultVersion = lib.switch coq.coq-version [
     {
       case = "8.20";
-      out = "2.2.0";
+      out = "2.4.0";
     }
     {
       case = "8.19";
@@ -120,6 +120,7 @@ in
       out = "1.6.3_8.11";
     }
   ] null;
+  release."2.4.0".sha256 = "sha256-W2+vVGExLLux8e0nSZESSoMVvrLxhL6dmXkb+JuKiqc=";
   release."2.2.0".sha256 = "sha256-rADEoqTXM7/TyYkUKsmCFfj6fjpWdnZEOK++5oLfC/I=";
   release."2.0.1".sha256 = "sha256-cuoPsEJ+JRLVc9Golt2rJj4P7lKltTrrmQijjoViooc=";
   release."2.0.0".sha256 = "sha256-A/cH324M21k3SZ7+YWXtaYEbu6dZQq3K0cb1RMKjbsM=";

Original file line number	Diff line number	Diff line change
`@@ -81,7 +81,7 @@ in`
`81`	`81`	`defaultVersion = lib.switch coq.coq-version [`
`82`	`82`	`{`
`83`	`83`	`case = "8.20";`
`84`		`- out = "2.2.0";`
	`84`	`+ out = "2.4.0";`
`85`	`85`	`}`
`86`	`86`	`{`
`87`	`87`	`case = "8.19";`
`@@ -120,6 +120,7 @@ in`
`120`	`120`	`out = "1.6.3_8.11";`
`121`	`121`	`}`
`122`	`122`	`] null;`
	`123`	`+ release."2.4.0".sha256 = "sha256-W2+vVGExLLux8e0nSZESSoMVvrLxhL6dmXkb+JuKiqc=";`
`123`	`124`	`release."2.2.0".sha256 = "sha256-rADEoqTXM7/TyYkUKsmCFfj6fjpWdnZEOK++5oLfC/I=";`
`124`	`125`	`release."2.0.1".sha256 = "sha256-cuoPsEJ+JRLVc9Golt2rJj4P7lKltTrrmQijjoViooc=";`
`125`	`126`	`release."2.0.0".sha256 = "sha256-A/cH324M21k3SZ7+YWXtaYEbu6dZQq3K0cb1RMKjbsM=";`