Merge pull request #6 from math-comp/Rm-opam

Delete opam

.github/workflows/docker-action.yml

@@ -17,8 +17,6 @@ jobs:
     strategy:
       matrix:
         image:
-          - 'coqorg/coq:8.8'
-          - 'coqorg/coq:8.9'
           - 'coqorg/coq:8.10'
           - 'coqorg/coq:8.11'
           - 'coqorg/coq:8.12'

README.md

@@ -23,7 +23,7 @@ library.
 - Author(s):
   - Cyril Cohen
 - License: [CeCILL-B](LICENSE)
-- Compatible Coq versions: 8.8 or later
+- Compatible Coq versions: 8.10 or later
 - Additional dependencies:
   - [MathComp ssreflect](https://math-comp.github.io) 1.6 or later
 - Coq namespace: `mathcomp.bigenough`

coq-mathcomp-bigenough.opam

@@ -21,7 +21,7 @@ library."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {(>= "8.8" & < "8.15~") | (= "dev")}
+  "coq" {(>= "8.10" & < "8.15~") | (= "dev")}
   "coq-mathcomp-ssreflect" {>= "1.6"}
 ]
 

meta.yml

@@ -34,8 +34,8 @@ license:
   identifier: CeCILL-B
 
 supported_coq_versions:
-  text: '8.8 or later'
-  opam: '{(>= "8.8" & < "8.15~") | (= "dev")}'
+  text: '8.10 or later'
+  opam: '{(>= "8.10" & < "8.15~") | (= "dev")}'
 
 dependencies:
 - opam:
@@ -45,8 +45,6 @@ dependencies:
     [MathComp ssreflect](https://math-comp.github.io) 1.6 or later
 
 tested_coq_opam_versions:
-- version: '8.8'
-- version: '8.9'
 - version: '8.10'
 - version: '8.11'
 - version: '8.12'