coq 8.19 mathcomp 2.2.0

thery · Feb 6, 2024 · c7b23a8 · c7b23a8
1 parent b544ac6
commit c7b23a8
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/meta.yml b/meta.yml
@@ -27,18 +27,18 @@ license:
   identifier: MIT
 
 supported_coq_versions:
-  text: '8.18 or later'
-  opam: '{(>= "8.18")}'
+  text: '8.19 or later'
+  opam: '{(>= "8.19")}'
 
 dependencies:
 - opam:
     name: coq-mathcomp-ssreflect
-    version: '{(>= "2.1.0")}'
+    version: '{(>= "2.2.0")}'
   description: |-
-    [MathComp ssreflect 2.1 or later](https://math-comp.github.io)
+    [MathComp ssreflect 2.2 or later](https://math-comp.github.io)
 
 tested_coq_opam_versions:
-- version: '2.1.0-coq-8.18'
+- version: '2.2.0-coq-8.19'
   repo: 'mathcomp/mathcomp'
 
 namespace: edwards