Update for Coq 8.16 compatibility testing.

coq-community · Aug 20, 2022 · d4e6db7 · d4e6db7
1 parent 24efdbe
commit d4e6db7
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 35 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -18,6 +18,7 @@ jobs:
       matrix:
         image:
           - 'coqorg/coq:dev'
+          - 'coqorg/coq:8.16'
           - 'coqorg/coq:8.15'
           - 'coqorg/coq:8.14'
           - 'coqorg/coq:8.13'

diff --git a/coq-corn.opam b/coq-corn.opam
@@ -46,7 +46,7 @@ build: [
 ]
 install: [make "install"]
 depends: [
-  "coq" {(>= "8.11" & < "8.16~") | (= "dev")}
+  "coq" {(>= "8.11" & < "8.17~") | (= "dev")}
   "coq-math-classes" {(>= "8.8.1") | (= "dev")}
   "coq-bignums" 
 ]

diff --git a/default.nix b/default.nix
diff --git a/meta.yml b/meta.yml
@@ -80,10 +80,11 @@ license:
 
 supported_coq_versions:
   text: Coq 8.11 or greater
-  opam: '{(>= "8.11" & < "8.16~") | (= "dev")}'
+  opam: '{(>= "8.11" & < "8.17~") | (= "dev")}'
 
 tested_coq_opam_versions:
 - version: dev
+- version: "8.16"
 - version: "8.15"
 - version: "8.14"
 - version: "8.13"