diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 69b0df66a7d5ea41079d0950489f6da5a898107c..10b97016574169e84b9ff2801796ee1eb39b7b88 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -31,7 +31,6 @@ build-coq.8.13.1:
   <<: *template
   variables:
     OPAM_PINS: "coq version 8.13.1"
-    OPAM_PKG: "1"
     DENY_WARNINGS: "1"
     MANGLE_NAMES: "1"
   tags: