re-enable Coq 8.11 in opam and CI

thery · Oct 1, 2022 · 762c7f5 · 762c7f5
1 parent e23d989
commit 762c7f5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -10,7 +10,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        coq_version: ['8.12', '8.13', '8.14', '8.15', 'dev']
+        coq_version: ['8.11', '8.12', '8.13', '8.14', '8.15', 'dev']
         ocaml_version: ['default']
       fail-fast: false  # don't stop jobs if one fails
     steps:

diff --git a/coq-coqprime.opam b/coq-coqprime.opam
@@ -13,7 +13,7 @@ install: [
 ]
 depends: [
   "ocaml"
-  "coq" {>= "8.12~"}
+  "coq" {>= "8.11~"}
   "coq-bignums"
 ]
 synopsis: "Certifying prime numbers in Coq"