Change Colibri2's pin branch from 5.1.0 to master

formalsec · Jan 30, 2024 · acd2246 · acd2246
1 parent 04441ab
commit acd2246
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git 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
@@ -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"]
 ]