diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f8b3b611397fd56e41b375ca74c99050044e9fb0..46ebdde495f3df5d73cc311ffb8d05a2622517f7 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 lutin lustre-v6 || echo "not needed for recent opam version"
+    - opam depext sasa rdbgui4sasa kind2 lutin lustre-v6 || echo "not needed for recent opam version"
     - opam install --deps-only ./sasa.opam ./rdbgui4sasa.opam
     - make
     - make install