diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 68f2debc5d746353450347a6566c8bf1793156dc..2baeae7c717a205b8f550e8bd575f88c0b8c0348 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -67,10 +67,10 @@ build-coq.8.18.0-mr:
     DENY_WARNINGS: "1"
     MANGLE_NAMES: "1"
 
-build-coq.8.17.0:
+build-coq.8.17.1:
   <<: *template
   variables:
-    OPAM_PINS: "coq version 8.17.0"
+    OPAM_PINS: "coq version 8.17.1"
     DENY_WARNINGS: "1"
     MANGLE_NAMES: "1"
 
diff --git a/README.md b/README.md
index c867782a18a66fbd509a2a0407195a3065debc26..0e89c96f73d50e1e6c9c1513cb18808592de40c3 100644
--- a/README.md
+++ b/README.md
@@ -43,7 +43,7 @@ Notably:
 
 This version is known to compile with:
 
- - Coq version 8.15.2 / 8.16.1 / 8.17.0 / 8.18.0
+ - Coq version 8.15.2 / 8.16.1 / 8.17.1 / 8.18.0
 
 Generally we always aim to support the last two stable Coq releases. Support for
 older versions will be dropped when it is convenient.