diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5e125739cf77437acec83eaaf8c7bee69aab9d7c..4978015f8dd99035b9ba9ec09d0ae0b5642e62a8 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 11ae0d982298fb2cd4b5ff167f0ea919936d6a51..62b614c6328eab3871e604265b6232c008eeb5c2 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