[CI] Cleanup no longer useful overlays

LPCIC · Aug 14, 2024 · 2744dbe · 2744dbe
1 parent f0f5c95
commit 2744dbe
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 113 deletions.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -1,6 +1,5 @@
 let common-bundles = {
   hierarchy-builder.override.version = "master";
-  hierarchy-builder-shim.job = false;
   mathcomp.override.version = "master";
   odd-order.override.version = "master";
   mathcomp-analysis.override.version = "master";
@@ -20,12 +19,22 @@ let common-bundles = {
   default-bundle = "coq-8.19";
   bundles = {
 
-    "coq-8.19".coqPackages = common-bundles // {
-      coq.override.version = "8.19";
+    "coq-8.19" = {
+      coqPackages = common-bundles // {
+        coq.override.version = "8.19";
+      };
+      ocamlPackages = {
+        elpi.override.version = "v1.19.5";
+      };
     };
 
-    "coq-master".coqPackages = common-bundles // {
-      coq.override.version = "master";
+    "coq-master" = {
+      coqPackages = common-bundles // {
+        coq.override.version = "master";
+      };
+      ocamlPackages = {
+        elpi.override.version = "v1.19.5";
+      };
     };
 
     "coq-master-min-elpi" = {

diff --git a/.nix/coq-overlays/coq-elpi/default.nix b/.nix/coq-overlays/coq-elpi/default.nix
diff --git a/.nix/coq-overlays/hierarchy-builder/default.nix b/.nix/coq-overlays/hierarchy-builder/default.nix