test mathcomp 2.3.0

math-comp · Dec 2, 2024 · a071d33 · a071d33
1 parent 21062a5
commit a071d33
Show file tree

Hide file tree

Showing 8 changed files with 1,461 additions and 702 deletions.
diff --git a/.github/workflows/nix-action-8.17.yml b/.github/workflows/nix-action-8.17.yml
diff --git a/.github/workflows/nix-action-8.18.yml b/.github/workflows/nix-action-8.18.yml
diff --git a/.github/workflows/nix-action-8.19.yml b/.github/workflows/nix-action-8.19.yml
diff --git a/.github/workflows/nix-action-8.20.yml b/.github/workflows/nix-action-8.20.yml
diff --git a/.github/workflows/nix-action-master.yml b/.github/workflows/nix-action-master.yml
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -31,7 +31,7 @@
 
   ## select an entry to build in the following `bundles` set
   ## defaults to "default"
-  default-bundle = "8.19";
+  default-bundle = "8.20";
 
   ## write one `bundles.name` attribute set per
   ## alternative configuration
@@ -54,11 +54,15 @@
   };
   "8.18".coqPackages = common-bundles // {
     coq.override.version = "8.18";
-    mathcomp.override.version = "2.2.0";
+    mathcomp.override.version = "2.3.0";
   };
   "8.19".coqPackages = common-bundles // {
     coq.override.version = "8.19";
-    mathcomp.override.version = "2.2.0";
+    mathcomp.override.version = "2.3.0";
+  };
+  "8.20".coqPackages = common-bundles // {
+    coq.override.version = "8.20";
+    mathcomp.override.version = "2.3.0";
   };
   "master".coqPackages = common-bundles // {
     coq.override.version = "master";

diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
@@ -1 +1 @@
-"71ce950dc44c719bf83587321f4f7eb07e189ab5"
+"858ff8dd010deded3b9cab8e04fbfad20151af5c"
diff --git a/.nix/nixpkgs.nix b/.nix/nixpkgs.nix
@@ -0,0 +1,4 @@
+fetchTarball {
+         url = "https://github.com/CohenCyril/nixpkgs/archive/948447c4fbc2b037d08b25c7b7f3339145ab9235.tar.gz";
+         sha256 = "09hjqk8vnfkywydr6ha3cjam9r9xlkx3zz02fj6z29j8p3sk5fqi";
+       }
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		"71ce950dc44c719bf83587321f4f7eb07e189ab5"
		"858ff8dd010deded3b9cab8e04fbfad20151af5c"