diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8bdd63f91652ac1559f0d85da54e519e09082003..5051e63d4181e09315fdf39db857d154ccf24585 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 62b614c6328eab3871e604265b6232c008eeb5c2..f0147cc55f1b164b9f5337572b0e24acb82ec809 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