upd meta (#134)

affeldt-aist · Dec 19, 2024 · 6e4c10b · 6e4c10b
1 parent fe0d6de
commit 6e4c10b
Show file tree

Hide file tree

Showing 4 changed files with 20 additions and 14 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -17,8 +17,8 @@ jobs:
     strategy:
       matrix:
         image:
-          - 'mathcomp/mathcomp:2.2.0-coq-8.19'
-          - 'mathcomp/mathcomp:2.2.0-coq-8.20'
+          - 'mathcomp/mathcomp:2.3.0-coq-8.19'
+          - 'mathcomp/mathcomp:2.3.0-coq-8.20'
       fail-fast: false
     steps:
       - uses: actions/checkout@v2

diff --git a/changelog.txt b/changelog.txt
@@ -1,3 +1,9 @@
+-------------------
+from 0.7.5 to 0.7.6
+-------------------
+
+- compatibility with MathComp 2.3.0
+
 -------------------
 from 0.7.4 to 0.7.5
 -------------------

diff --git a/coq-infotheo.opam b/coq-infotheo.opam
@@ -22,11 +22,11 @@ build: [
 install: [make "install"]
 depends: [
   "coq" { (>= "8.19" & < "8.21~") | (= "dev") }
-  "coq-mathcomp-ssreflect" { (>= "2.2.0") }
-  "coq-mathcomp-fingroup" { (>= "2.2.0") }
-  "coq-mathcomp-algebra" { (>= "2.2.0") }
-  "coq-mathcomp-solvable" { (>= "2.2.0") }
-  "coq-mathcomp-field" { (>= "2.2.0") }
+  "coq-mathcomp-ssreflect" { (>= "2.3.0") }
+  "coq-mathcomp-fingroup" { (>= "2.3.0") }
+  "coq-mathcomp-algebra" { (>= "2.3.0") }
+  "coq-mathcomp-solvable" { (>= "2.3.0") }
+  "coq-mathcomp-field" { (>= "2.3.0") }
   "coq-mathcomp-analysis" { (>= "1.7.0") }
   "coq-mathcomp-reals-stdlib" { (>= "1.7.0") }
   "coq-hierarchy-builder" { >= "1.5.0" }

diff --git a/meta.yml b/meta.yml
@@ -47,35 +47,35 @@ supported_coq_versions:
   opam: '{ (>= "8.19" & < "8.21~") | (= "dev") }'
 
 tested_coq_opam_versions:
-- version: '2.2.0-coq-8.19'
+- version: '2.3.0-coq-8.19'
   repo: 'mathcomp/mathcomp'
-- version: '2.2.0-coq-8.20'
+- version: '2.3.0-coq-8.20'
   repo: 'mathcomp/mathcomp'
 
 dependencies:
 - opam:
     name: coq-mathcomp-ssreflect
-    version: '{ (>= "2.2.0") }'
+    version: '{ (>= "2.3.0") }'
   description: |-
     [MathComp ssreflect](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-fingroup
-    version: '{ (>= "2.2.0") }'
+    version: '{ (>= "2.3.0") }'
   description: |-
     [MathComp fingroup](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-algebra
-    version: '{ (>= "2.2.0") }'
+    version: '{ (>= "2.3.0") }'
   description: |-
     [MathComp algebra](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-solvable
-    version: '{ (>= "2.2.0") }'
+    version: '{ (>= "2.3.0") }'
   description: |-
     [MathComp solvable](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-field
-    version: '{ (>= "2.2.0") }'
+    version: '{ (>= "2.3.0") }'
   description: |-
     [MathComp field](https://math-comp.github.io)
 - opam: