[CI] Factor common parts among bundles

Author: proux01

.nix/config.nix

@@ -1,67 +1,33 @@
+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";
+  mathcomp-finmap.override.version = "master";
+  mathcomp-classical.override.version = "master";
+
+  mathcomp-single-planB-src.job = false;
+  mathcomp-single-planB.job = false;
+  mathcomp-single.job = false;
+
+  deriving.job = false;
+  reglang.job = false;
+}; in
 {
   format = "1.0.0";
   attribute = "coq-elpi";
   default-bundle = "coq-8.19";
   bundles = {
 
-    "coq-8.19".coqPackages = {
+    "coq-8.19".coqPackages = common-bundles // {
       coq.override.version = "8.19";
-      
-      hierarchy-builder.override.version = "master";
-      hierarchy-builder-shim.job = false;
-
-      mathcomp.override.version = "master";
-      mathcomp.job = true;
-
-      odd-order.override.version = "master";
-      odd-order.job = true;
-
-      mathcomp-analysis.override.version = "master";
-      mathcomp-analysis.job = true;
-
-      mathcomp-finmap.override.version = "master";
-      mathcomp-finmap.job = true;
-
-      mathcomp-classical.override.version = "master";
-      mathcomp-classical.job = true;
-
-      mathcomp-single-planB-src.job = false;
-      mathcomp-single-planB.job = false;
-      mathcomp-single.job = false;
-
-      deriving.job = false;
-      reglang.job = false;
     };
 
-    "coq-master".coqPackages = {
+    "coq-master".coqPackages = common-bundles // {
       coq.override.version = "master";
-      
-      hierarchy-builder.override.version = "master";
-      hierarchy-builder-shim.job = false;
-
-      mathcomp.override.version = "master";
-      mathcomp.job = true;
-
-      odd-order.override.version = "master";
-      odd-order.job = true;
-
-      mathcomp-analysis.override.version = "master";
-      mathcomp-analysis.job = true;
-
-      mathcomp-finmap.override.version = "master";
-      mathcomp-finmap.job = true;
-
-      mathcomp-classical.override.version = "master";
-      mathcomp-classical.job = true;
-
-      mathcomp-single-planB-src.job = false;
-      mathcomp-single-planB.job = false;
-      mathcomp-single.job = false;
-
-      deriving.job = false;
-      reglang.job = false;
     };
-
+      
   };
 
   cachix.coq = {};