diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4e6cca3cdaacdafafd3c58cda55e321c578a0a9d..e5f276478b9d2fba35b0b05042142c7cdba5e4b8 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -30,7 +30,7 @@ variables:
 build-coq.8.13.2:
   <<: *template
   variables:
-    OPAM_PINS: "coq version 8.12.2"
+    OPAM_PINS: "coq version 8.13.2"
   tags:
   - fp-timing