From f3b024285108a9448e471197415af7910c81b253 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 3 Dec 2021 21:36:53 -0500
Subject: [PATCH] drop support for Coq 8.12
---
.gitlab-ci.yml | 8 +-------
README.md | 9 ++++-----
coq-iris.opam | 2 +-
3 files changed, 6 insertions(+), 13 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7097a6082..10442bbec 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -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
diff --git a/README.md b/README.md
index 38c2ac7bf..fd619ee5e 100644
--- a/README.md
+++ b/README.md
@@ -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
diff --git a/coq-iris.opam b/coq-iris.opam
index 05175d7c3..b6a86fbe2 100644
--- a/coq-iris.opam
+++ b/coq-iris.opam
@@ -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") }
]
--
GitLab