From 1d8633e5acab0b59aea4537f3e18af3f6af73dd3 Mon Sep 17 00:00:00 2001 From: Florent Hivert Date: Tue, 3 Dec 2024 21:46:08 +0100 Subject: [PATCH] MathComp at least 2.2.0 --- .nix/config.nix | 12 ++++++------ README.md | 18 ++++++++---------- 2 files changed, 14 insertions(+), 16 deletions(-) diff --git a/.nix/config.nix b/.nix/config.nix index f805827..067c902 100644 --- 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 index f24f7c3..6e5fb96 100644 --- 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 ```