diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index cde6e2d46a5bbd716e2b5e894fc9a221d995b17e..b9f2dc501893fab4d0f5a52233ddda8d09606ebd 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -27,7 +27,7 @@ tests_with_recompilation:
   script:
    - rm -f Src/COLIBRI/lib/v7/x86_64_linux/* Src/COLIBRI/simplex_ocaml.pl
   #OCaml dependencies
-   - opam depext --install dune zarith ocplib-simplex parsexp menhir fmt spelll.0.3 gen uutf
+   - opam depext --install "dune.2.7.1" "ocplib-simplex.0.4" "zarith.1.9.1" "parsexp.v0.14.0" "menhir.20200624" "fmt.0.8.8" "spelll.0.3" "uutf.1.0.2" "gen.0.5.3"
   #OCaml compilation
    - make ECLIPSEBIN=$(pwd)/Bin/ECLIPSE_V7.0_45/
   #Bundle in bundle directory
diff --git a/Src/COLIBRI/lib/v5/x86_64_linux/simplex_ocaml.so b/Src/COLIBRI/lib/v5/x86_64_linux/simplex_ocaml.so
index cc7d62b72f2e6a2d7cfa4858792d7315cca1dca9..4d7ac03419986218d31ea13c44fb060f0b3b6ff0 100755
Binary files a/Src/COLIBRI/lib/v5/x86_64_linux/simplex_ocaml.so and b/Src/COLIBRI/lib/v5/x86_64_linux/simplex_ocaml.so differ
diff --git a/Src/COLIBRI/lib/v7/x86_64_linux/simplex_ocaml.so b/Src/COLIBRI/lib/v7/x86_64_linux/simplex_ocaml.so
index f36788ae47a137e0bfd0bb4bad70159dbead8726..00d3dd117f59319695bcb4c6703aa8f53e51fdf2 100755
Binary files a/Src/COLIBRI/lib/v7/x86_64_linux/simplex_ocaml.so and b/Src/COLIBRI/lib/v7/x86_64_linux/simplex_ocaml.so differ
diff --git a/Src/COLIBRI/simplex_ocaml/Dockerfile b/Src/COLIBRI/simplex_ocaml/Dockerfile
index d0177cdff161603839b585360ed22ece905b89be..42786f45b7073dacde5b561848a45082f2d72705 100644
--- a/Src/COLIBRI/simplex_ocaml/Dockerfile
+++ b/Src/COLIBRI/simplex_ocaml/Dockerfile
@@ -1,6 +1,6 @@
 # ocaml/opam:debian-10-ocaml-4.11
 FROM ocaml/opam@sha256:e570e5dd74bb4986e022d5c25fe42579288d11fb0b60df13794632a8f0a110b6
 
-RUN [ "opam", "depext", "--install", "dune", "ocplib-simplex", "zarith", "parsexp", "menhir", "fmt", "spelll.0.3", "uutf", "gen" ]
+RUN [ "opam", "depext", "--install", "dune.2.7.1", "ocplib-simplex.0.4", "zarith.1.9.1", "parsexp.v0.14.0", "menhir.20200624", "fmt.0.8.8", "spelll.0.3", "uutf.1.0.2", "gen.0.5.3" ]
 
 RUN [ "mkdir", "/home/opam/build" ]