diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8663b9f6cfff06d37935086ecb54fdc610ce1046..33aa9257065ea614d3ab0f8e15423353ca9bc135 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -10,6 +10,7 @@ stages:
     - opam update -y
     - opam config list
     - opam repo list
+    - opam install coq-libhyps
     - opam list
   script:
     - sudo chown -R coq:coq "$CI_PROJECT_DIR"