Commit 6dfda15b authored by Ralf Jung's avatar Ralf Jung
Browse files

Merge branch 'ralf/drop-8.12' into 'master'

drop support for Coq 8.12

See merge request iris/iris!763
parents 72485828 f3b02428
......@@ -70,16 +70,10 @@ build-coq.8.14.1-mr:
DENY_WARNINGS: "1"
build-coq.8.13.2:
<<: *template
variables:
OPAM_PINS: "coq version 8.13.2"
DENY_WARNINGS: "1"
build-coq.8.12.2:
<<: *template
<<: *branches_and_mr
variables:
OPAM_PINS: "coq version 8.12.2"
OPAM_PINS: "coq version 8.13.2"
DENY_WARNINGS: "1"
# Nightly job with a known-to-work Coq version
......
......@@ -30,13 +30,12 @@ Importing Iris has some side effects as the library sets some global options.
This version is known to compile with:
- Coq 8.12.2 / 8.13.2 / 8.14.1
- Coq 8.13.2 / 8.14.1
- A development version of [std++](https://gitlab.mpi-sws.org/iris/stdpp)
If you need to work with Coq 8.9 or Coq 8.10, you can use the
[iris-3.3 branch](https://gitlab.mpi-sws.org/iris/iris/tree/iris-3.3).
For a version compatible with Coq 8.11, check out the
[iris-3.4 branch](https://gitlab.mpi-sws.org/iris/iris/tree/iris-3.4).
If you need to work with older versions of Coq, you can check out the
[tags](https://gitlab.mpi-sws.org/iris/iris/-/tags) for old Iris releases that
still support them.
### Working *with* Iris
......
......@@ -27,7 +27,7 @@ tags: [
]
depends: [
"coq" { (>= "8.12" & < "8.16~") | (= "dev") }
"coq" { (>= "8.13" & < "8.16~") | (= "dev") }
"coq-stdpp" { (= "dev.2021-12-16.0.cf7c2c41") | (= "dev") }
]
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment