nix ontop of rocq branch #18903

Author: CohenCyril

.nix/config.nix

@@ -1,5 +1,7 @@
-with builtins; with (import <nixpkgs> {}).lib;
-let master = [
+with builtins;
+with (import <nixpkgs> { }).lib;
+let
+  master = [
     "coqeal"
     "hierarchy-builder"
     "mathcomp"
@@ -11,9 +13,10 @@ let master = [
     "multinomials"
     "odd-order"
   ];
-  common-bundles = listToAttrs (forEach master (p:
-    { name = p; value.override.version = "master"; }))
-  // {
+  common-bundles = listToAttrs (forEach master (p: {
+    name = p;
+    value.override.version = "master";
+  })) // {
     coq-elpi-tests.job = true;
     stdlib.job = true;
     coq-elpi-tests-stdlib.job = true;
@@ -25,12 +28,12 @@ let master = [
 
     deriving.job = false;
     reglang.job = false;
-}; in
-{
+  };
+in {
   format = "1.0.0";
   attribute = "rocq-elpi";
   coq-attribute = "coq-elpi";
-  default-bundle = "coq-8.20";
+  default-bundle = "rocq-master";
   bundles = {
 
     "coq-8.20".coqPackages = common-bundles // {
@@ -44,36 +47,40 @@ let master = [
       coq-elpi.override.elpi-version = "2.0.7";
     };
 
-    "coq-master" = { rocqPackages = {
-      rocq-core.override.version = "master";
-      rocq-elpi.override.elpi-version = "2.0.7";
-      stdlib.override.version = "master";
-      bignums.override.version = "master";
-    }; coqPackages = common-bundles // {
-      coq.override.version = "master";
-      coq-elpi.override.elpi-version = "2.0.7";
-      stdlib.override.version = "master";
-      bignums.override.version = "master";
-    }; };
-      
+    "rocq-master" = {
+      rocqPackages = {
+        rocq-core.override.version = "#18903";
+        rocq-elpi.override.elpi-version = "2.0.7";
+        stdlib.override.version = "master";
+        bignums.override.version = "master";
+      };
+      coqPackages = common-bundles // {
+        coq.override.version = "#18903";
+        coq-elpi.override.elpi-version = "2.0.7";
+        stdlib.override.version = "master";
+        bignums.override.version = "master";
+      };
+    };
+
     /* uncomment bundle below if min and max elpi version start to differ
-    "coq-master-min-elpi" = { rocqPackages = {
-      rocq-core.override.version = "master";
-      rocq-elpi.override.elpi-version = "2.0.7";
-      stdlib.override.version = "master";
-      bignums.override.version = "master";
-    }; coqPackages = common-bundles // {
-      coq.override.version = "master";
-      coq-elpi.override.elpi-version = "2.0.7";
-      stdlib.override.version = "master";
-      bignums.override.version = "master";
-    }; }; */
+       "coq-master-min-elpi" = { rocqPackages = {
+         rocq-core.override.version = "master";
+         rocq-elpi.override.elpi-version = "2.0.7";
+         stdlib.override.version = "master";
+         bignums.override.version = "master";
+       }; coqPackages = common-bundles // {
+         coq.override.version = "master";
+         coq-elpi.override.elpi-version = "2.0.7";
+         stdlib.override.version = "master";
+         bignums.override.version = "master";
+       }; };
+    */
 
   };
 
-  cachix.coq = {};
-  cachix.math-comp = {};
-  cachix.coq-community = {};
+  cachix.coq = { };
+  cachix.math-comp = { };
+  cachix.coq-community = { };
   cachix.coq-elpi.authToken = "CACHIX_AUTH_TOKEN";
 
 }