diff --git a/colibri2_mappings.opam b/colibri2_mappings.opam
index c4e3171f..b723af99 100644
--- a/colibri2_mappings.opam
+++ b/colibri2_mappings.opam
@@ -29,6 +29,6 @@ build: [
 ]
 dev-repo: "git+https://github.com/formalsec/encoding.git"
 pin-depends: [
-  [ "colibri2.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#5.1.0"]
-  [ "colibrilib.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#5.1.0"]
+  [ "colibri2.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#master"]
+  [ "colibrilib.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#master"]
 ]
diff --git a/colibri2_mappings.opam.template b/colibri2_mappings.opam.template
index 993c7a26..d8ac0dac 100644
--- a/colibri2_mappings.opam.template
+++ b/colibri2_mappings.opam.template
@@ -1,4 +1,4 @@
 pin-depends: [
-  [ "colibri2.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#5.1.0"]
-  [ "colibrilib.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#5.1.0"]
+  [ "colibri2.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#master"]
+  [ "colibrilib.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#master"]
 ]