diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c3d7a80cb4ef94614ddaa28aae20f92e5aa6be7d..125adad255b1738d9c573c8494ae0ad63dec650f 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 a6d0b2a48ecd919e29ef05564990ccdf3b4f0a0b..184d8eb1966d9b1b552b3d9c69241b6eda263a9f 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