From 20fb85af1226b9c4ed977f842501f8d77fc70d1d Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sun, 17 Dec 2017 16:47:04 +0100
Subject: [PATCH] mention 8.7.1 in README

---
 .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 c3d7a80c..125adad2 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -74,7 +74,7 @@ build-coq.8.6.1:
   except:
   - triggers
 
-build-coq.8.6:
+build-coq.8.6.0:
   <<: *template
   stage: build_more
   variables:
diff --git a/README.md b/README.md
index a6d0b2a4..184d8eb1 100644
--- a/README.md
+++ b/README.md
@@ -46,7 +46,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.7.0
+ - Coq version 8.6.0 / 8.6.1 / 8.7.0 / 8.7.1
 
 ## Building Instructions
 
-- 
GitLab