From b371f874bf3bcbcfd1cf0866373defa2f9262875 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Sun, 17 Sep 2017 14:24:27 +0200
Subject: [PATCH] No longer test master using Coq 8.5pl3.

---
 .gitlab-ci.yml | 4 ----
 README.md      | 2 +-
 2 files changed, 1 insertion(+), 5 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5e125739..4978015f 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -44,7 +44,3 @@ stdpp-coq8.6:
   variables:
     COQ_VERSION: "8.6"
 
-stdpp-coq8.5.3:
-  <<: *template
-  variables:
-    COQ_VERSION: "8.5.3"
diff --git a/README.md b/README.md
index 11ae0d98..62b614c6 100644
--- a/README.md
+++ b/README.md
@@ -32,7 +32,7 @@ developed by Robbert Krebbers, Ralf Jung, and Jacques Henri-Jourdan.
 
 This version is known to compile with:
 
- - Coq 8.5pl3 / 8.6
+ - Coq version 8.6 / 8.6.1 / 8.7beta
 
 ## Building Instructions
 
-- 
GitLab