MathComp at least 2.2.0

math-comp · Dec 3, 2024 · 1d8633e · 1d8633e
1 parent d26c887
commit 1d8633e
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 16 deletions.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -43,7 +43,7 @@
     ## through the following attribute
     # coqPackages.coq.override.version = "8.11";
     coqPackages.coq.override.version = "8.18";
-    coqPackages.mathcomp.override.version = "2.1.0";
+    coqPackages.mathcomp.override.version = "2.2.0";
 
     ## In some cases, light overrides are not available/enough
     ## in which case you can use either
@@ -83,11 +83,6 @@
     # push-branches = [ "master" "branch2" ];
   };
 
-  bundles."coq8.17-mc2.1.0" = {
-    coqPackages.coq.override.version = "8.17";
-    coqPackages.mathcomp.override.version = "2.1.0";
-  };
-
   bundles."coq8.17-mc2.2.0" = {
     coqPackages.coq.override.version = "8.17";
     coqPackages.mathcomp.override.version = "2.2.0";
@@ -103,6 +98,11 @@
     coqPackages.mathcomp.override.version = "2.2.0";
   };
 
+  bundles."coq8.19-mc2.3.0" = {
+    coqPackages.coq.override.version = "8.19";
+    coqPackages.mathcomp.override.version = "2.3.0";
+  };
+
   ## Cachix caches to use in CI
   ## Below we list some standard ones
   cachix.coq = {};

diff --git a/README.md b/README.md
@@ -3,8 +3,6 @@ Coq-Combi
 
 Formalisation of (algebraic) combinatorics in Coq/MathComp.
 
-[![Nix CI for coq8.17-mc2.1.0](https://github.com/math-comp/Coq-Combi/actions/workflows/nix-action-coq8.17-mc2.1.0.yml/badge.svg)](https://github.com/math-comp/Coq-Combi/actions/workflows/nix-action-coq8.17-mc2.1.0.yml) [![Nix CI for coq8.18-mc2.1.0](https://github.com/math-comp/Coq-Combi/actions/workflows/nix-action-coq8.18-mc2.1.0.yml/badge.svg)](https://github.com/math-comp/Coq-Combi/actions/workflows/nix-action-coq8.18-mc2.1.0.yml) 
-
 [![Nix CI for coq8.17-mc2.2.0](https://github.com/math-comp/Coq-Combi/actions/workflows/nix-action-coq8.17-mc2.2.0.yml/badge.svg)](https://github.com/math-comp/Coq-Combi/actions/workflows/nix-action-coq8.17-mc2.2.0.yml) [![Nix CI for coq8.18-mc2.2.0](https://github.com/math-comp/Coq-Combi/actions/workflows/nix-action-coq8.18-mc2.2.0.yml/badge.svg)](https://github.com/math-comp/Coq-Combi/actions/workflows/nix-action-coq8.18-mc2.2.0.yml) [![Nix CI for coq8.19-mc2.2.0](https://github.com/math-comp/Coq-Combi/actions/workflows/nix-action-coq8.19-mc2.2.0.yml/badge.svg)](https://github.com/math-comp/Coq-Combi/actions/workflows/nix-action-coq8.19-mc2.2.0.yml)
 
 Authors
@@ -165,15 +163,15 @@ Installation
 This library is based on
 
 * [SSReflect/MathComp 2]([https://github.com/math-comp/math-comp])
-  Library version 2.1.0 or more recent.
+  Library version 2.2.0 or more recent.
 
 Here are the Opam packages I'm using
 ```
-coq-hierarchy-builder     1.6.0
-coq-mathcomp-ssreflect    2.1.0
-coq-mathcomp-algebra      2.1.0
-coq-mathcomp-field        2.1.0
-coq-mathcomp-fingroup     2.1.0
-coq-mathcomp-character    2.1.0
-coq-mathcomp-multinomials 2.1.0
+coq-hierarchy-builder        1.7.0
+coq-mathcomp-ssreflect       2.2.0
+coq-mathcomp-algebra         2.2.0
+coq-mathcomp-field           2.2.0
+coq-mathcomp-fingroup        2.2.0
+coq-mathcomp-character       2.2.0
+coq-mathcomp-multinomials    2.2.0
 ```