diff --git a/colibri2.opam b/colibri2.opam
index ae8ca35aef5707584e7e3a506ec61a66715ad920..a58a31c1a09c7766fab579944a931913f46187ec 100644
--- a/colibri2.opam
+++ b/colibri2.opam
@@ -46,7 +46,7 @@ build: [
 ]
 dev-repo: "git+https://git.frama-c.com/bobot/colibrics.git"
 pin-depends: [
-  [ "dolmen.0.5~dev" "git+https://github.com/bobot/dolmen.git#add_parametricity_in_smt" ]
-  [ "dolmen_type.0.5~dev" "git+https://github.com/bobot/dolmen.git#add_parametricity_in_smt" ]
-  [ "dolmen_loop.0.5~dev" "git+https://github.com/bobot/dolmen.git#add_parametricity_in_smt" ]
+  [ "dolmen.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
+  [ "dolmen_type.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
+  [ "dolmen_loop.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
 ]
diff --git a/colibri2.opam.template b/colibri2.opam.template
index 3d592a98ae6b315b3121ad3e314a0e07274c0e12..d285ebc0aad6689347f1cc363403ff767741fcfc 100644
--- a/colibri2.opam.template
+++ b/colibri2.opam.template
@@ -1,5 +1,5 @@
 pin-depends: [
-  [ "dolmen.0.5~dev" "git+https://github.com/bobot/dolmen.git#add_parametricity_in_smt" ]
-  [ "dolmen_type.0.5~dev" "git+https://github.com/bobot/dolmen.git#add_parametricity_in_smt" ]
-  [ "dolmen_loop.0.5~dev" "git+https://github.com/bobot/dolmen.git#add_parametricity_in_smt" ]
+  [ "dolmen.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
+  [ "dolmen_type.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
+  [ "dolmen_loop.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
 ]