diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml index 5861852..f03d519 100644 --- a/.github/workflows/docker-action.yml +++ b/.github/workflows/docker-action.yml @@ -20,6 +20,10 @@ jobs: - 'mathcomp/mathcomp:2.0.0-coq-8.16' - 'mathcomp/mathcomp:2.0.0-coq-8.17' - 'mathcomp/mathcomp:2.0.0-coq-8.18' + - 'mathcomp/mathcomp:2.1.0-coq-8.16' + - 'mathcomp/mathcomp:2.1.0-coq-8.17' + - 'mathcomp/mathcomp:2.1.0-coq-8.18' + - 'mathcomp/mathcomp:2.1.0-coq-dev' - 'mathcomp/mathcomp-dev:coq-8.16' - 'mathcomp/mathcomp-dev:coq-8.17' - 'mathcomp/mathcomp-dev:coq-8.18' diff --git a/coq-mathcomp-apery.opam b/coq-mathcomp-apery.opam index 0fe768f..e89cc27 100644 --- a/coq-mathcomp-apery.opam +++ b/coq-mathcomp-apery.opam @@ -24,7 +24,7 @@ build: [make "-j%{jobs}%"] install: [make "install"] depends: [ "coq" {(>= "8.16" & < "8.19~") | (= "dev")} - "coq-mathcomp-ssreflect" {(>= "2.0" & < "2.1~") | (= "dev")} + "coq-mathcomp-ssreflect" {(>= "2.0" & < "2.2~") | (= "dev")} "coq-mathcomp-algebra" "coq-mathcomp-field" "coq-coqeal" {>= "2.0.0"} diff --git a/meta.yml b/meta.yml index 4fcc29d..938546c 100644 --- a/meta.yml +++ b/meta.yml @@ -61,6 +61,14 @@ tested_coq_opam_versions: repo: 'mathcomp/mathcomp' - version: '2.0.0-coq-8.18' repo: 'mathcomp/mathcomp' +- version: '2.1.0-coq-8.16' + repo: 'mathcomp/mathcomp' +- version: '2.1.0-coq-8.17' + repo: 'mathcomp/mathcomp' +- version: '2.1.0-coq-8.18' + repo: 'mathcomp/mathcomp' +- version: '2.1.0-coq-dev' + repo: 'mathcomp/mathcomp' - version: 'coq-8.16' repo: 'mathcomp/mathcomp-dev' - version: 'coq-8.17' @@ -73,7 +81,7 @@ tested_coq_opam_versions: dependencies: - opam: name: coq-mathcomp-ssreflect - version: '{(>= "2.0" & < "2.1~") | (= "dev")}' + version: '{(>= "2.0" & < "2.2~") | (= "dev")}' description: |- [MathComp ssreflect 2.0 or later](https://math-comp.github.io) - opam: