diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4e4d89a00e8432cdcaeae6960dceefa6e62ce589..c391afb7074305d4c9fe0e96965c0b14ffa63d5b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -34,6 +34,8 @@ build-coq.8.18.0:
     OPAM_PINS: "coq version 8.18.0"
     DENY_WARNINGS: "1"
     MANGLE_NAMES: "1"
+    # Mostly to make the lifetime logic available
+    OPAM_PKG: "1"
   tags:
   - fp-timing