Setup nix to follow the seminorm branch of mathcomp

math-comp · Jan 27, 2025 · addd307 · addd307
1 parent d91bea5
commit addd307
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -50,12 +50,16 @@ in
   ## will be created per bundle
   bundles."8.19".coqPackages = common-bundle // {
     coq.override.version = "8.19";
-    mathcomp.override.version = "2.2.0";
+    mathcomp.override.version = "CohenCyril:seminorm";
+    mathcomp-bigenough.override.version = "master";
+    mathcomp-finmap.override.version = "master";
   };
 
   bundles."8.20".coqPackages = common-bundle // {
     coq.override.version = "8.20";
-    mathcomp.override.version = "2.2.0";
+    mathcomp.override.version = "CohenCyril:seminorm";
+    mathcomp-bigenough.override.version = "master";
+    mathcomp-finmap.override.version = "master";
     ssprove.job = false;
   };
 
@@ -65,7 +69,7 @@ in
     coq-elpi.override.version = "master";
     coq-elpi.override.elpi-version = "2.0.7";
     hierarchy-builder.override.version = "master";
-    mathcomp.override.version = "master";
+    mathcomp.override.version = "CohenCyril:seminorm";
     mathcomp-bigenough.override.version = "master";
     mathcomp-finmap.override.version = "master";
     ssprove.job = false;