mathcomp 2.3.0

thery · Dec 18, 2024 · 3adb46b · 3adb46b
1 parent 2dd258b
commit 3adb46b
Show file tree

Hide file tree

Showing 4 changed files with 21 additions and 21 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -17,10 +17,10 @@ jobs:
     strategy:
       matrix:
         image:
-          - 'mathcomp/mathcomp:2.1.0-coq-8.18'
+          - 'mathcomp/mathcomp:2.3.0-coq-8.19'
       fail-fast: false
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-grobner.opam'

diff --git a/README.md b/README.md
@@ -6,8 +6,8 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 
 [![Docker CI][docker-action-shield]][docker-action-link]
 
-[docker-action-shield]: https://github.com/thery/grobner/workflows/Docker%20CI/badge.svg?branch=master
-[docker-action-link]: https://github.com/thery/grobner/actions?query=workflow:"Docker%20CI"
+[docker-action-shield]: https://github.com/thery/grobner/actions/workflows/docker-action.yml/badge.svg?branch=master
+[docker-action-link]: https://github.com/thery/grobner/actions/workflows/docker-action.yml
 
 
 
@@ -49,11 +49,11 @@ idealfP
 - Author(s):
   - Laurent Théry
 - License: [MIT License](LICENSE)
-- Compatible Coq versions: 8.17 or later
+- Compatible Coq versions: 8.19 or later
 - Additional dependencies:
-  - [MathComp ssreflect 2.1 or later](https://math-comp.github.io)
-  - [MathComp algebra 2.1 or later](https://math-comp.github.io)
-  - [MathComp Multinomials 2.1.0 or later](https://github.com/math-comp/multinomials)
+  - [MathComp ssreflect 2.3 or later](https://math-comp.github.io)
+  - [MathComp algebra 2.3 or later](https://math-comp.github.io)
+  - [MathComp Multinomials 2.3 or later](https://github.com/math-comp/multinomials)
 - Coq namespace: `grobner`
 - Related publication(s): none
 

diff --git a/coq-grobner.opam b/coq-grobner.opam
@@ -47,10 +47,10 @@ idealfP
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {(>= "8.17")}
-  "coq-mathcomp-ssreflect" {(>= "2.1.0")}
-  "coq-mathcomp-algebra" {(>= "2.1.0")}
-  "coq-mathcomp-multinomials" {(>= "2.1.0")}
+  "coq" {(>= "8.19")}
+  "coq-mathcomp-ssreflect" {(>= "2.3.0")}
+  "coq-mathcomp-algebra" {(>= "2.3.0")}
+  "coq-mathcomp-multinomials" {(>= "2.3.0")}
 ]
 
 tags: [

diff --git a/meta.yml b/meta.yml
@@ -54,28 +54,28 @@ license:
   identifier: MIT
 
 supported_coq_versions:
-  text: '8.17 or later'
-  opam: '{(>= "8.17")}'
+  text: '8.19 or later'
+  opam: '{(>= "8.19")}'
 
 dependencies:
 - opam:
     name: coq-mathcomp-ssreflect
-    version: '{(>= "2.1.0")}'
+    version: '{(>= "2.3.0")}'
   description: |-
-    [MathComp ssreflect 2.1 or later](https://math-comp.github.io)
+    [MathComp ssreflect 2.3 or later](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-algebra
-    version: '{(>= "2.1.0")}'
+    version: '{(>= "2.3.0")}'
   description: |-
-    [MathComp algebra 2.1 or later](https://math-comp.github.io)
+    [MathComp algebra 2.3 or later](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-multinomials
-    version: '{(>= "2.1.0")}'
+    version: '{(>= "2.3.0")}'
   description: |-
-    [MathComp Multinomials 2.1.0 or later](https://github.com/math-comp/multinomials)
+    [MathComp Multinomials 2.3 or later](https://github.com/math-comp/multinomials)
 
 tested_coq_opam_versions:
-- version: '2.1.0-coq-8.18'
+- version: '2.3.0-coq-8.19'
   repo: 'mathcomp/mathcomp'
 
 namespace: grobner