From 76b2ec955e8e36e3d8630c550c0ce69a63d0203a Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 18 Oct 2017 13:14:10 +0200
Subject: [PATCH] test against stable released Coq 8.7

---
 .gitlab-ci.yml | 2 +-
 README.md      | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8bdd63f9..5051e63d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -41,7 +41,7 @@ opam:
 build-coq8.7:
   <<: *template
   variables:
-    COQ_VERSION: "8.7.dev"
+    COQ_VERSION: "8.7.0"
 
 build-coq8.6.1:
   <<: *template
diff --git a/README.md b/README.md
index 62b614c6..f0147cc5 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 version 8.6 / 8.6.1 / 8.7beta
+ - Coq version 8.6 / 8.6.1 / 8.7.0
 
 ## Building Instructions
 
-- 
GitLab