From 3b4865f82ced5484e7a86ae2ac333a9547f2bd43 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 22 Aug 2017 13:33:15 +0200
Subject: [PATCH] require Coq 8.6.1
---
.gitlab-ci.yml | 6 ------
README.md | 2 +-
opam | 2 +-
3 files changed, 2 insertions(+), 8 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 3564fc609..060f4d349 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -33,9 +33,3 @@ iris-coq8.6.1:
paths:
- build-time.txt
- build-env.txt
-
-iris-coq8.6:
- <<: *template
- variables:
- COQ_VERSION: "8.6"
- SSR_VERSION: "1.6.1"
diff --git a/README.md b/README.md
index 0dcf568c4..1a6ee6f3f 100644
--- a/README.md
+++ b/README.md
@@ -6,7 +6,7 @@ This is the Coq development of the [Iris Project](http://iris-project.org).
This version is known to compile with:
- - Coq 8.6
+ - Coq 8.6.1
- Ssreflect 1.6.1
- A development version of [std++](https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp)
diff --git a/opam b/opam
index bb91590c6..aaaa15972 100644
--- a/opam
+++ b/opam
@@ -13,7 +13,7 @@ build: [
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/iris'" ]
depends: [
- "coq" { (>= "8.6" & < "8.7~") } # replace with (= "dev") if you want to test against a development version of Coq
+ "coq" { (>= "8.6.1" & < "8.7~") } # replace with (= "dev") if you want to test against a development version of Coq
"coq-mathcomp-ssreflect" { ((>= "1.6.1" & < "1.7~") | (= "dev")) }
"coq-stdpp"
]
--
GitLab