diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a0e554125c1368139bcea6b69f27e69ea6a6598e..f8b3b611397fd56e41b375ca74c99050044e9fb0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,7 +11,7 @@ build:
     - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
     - eval `opam config env`
     - sudo apt-get update
-    - opam depext sasa rdbgui4sasa || echo "not needed for recent opam version"
+    - opam depext sasa rdbgui4sasa lutin lustre-v6 || echo "not needed for recent opam version"
     - opam install --deps-only ./sasa.opam ./rdbgui4sasa.opam
     - make
     - make install