Make colibri2 compatible with ocaml 5.1.0

hra687261 · hra687261 · commit ee4a48c1cd72 · 2024-01-27T16:11:52.000+01:00
diff --git a/encoding.opam b/encoding.opam
@@ -37,6 +37,5 @@ build: [
 dev-repo: "git+https://github.com/formalsec/encoding.git"
 available: (arch = "x86_64" | arch = "arm64") & os != "win32" & arch != "x86_32"
 pin-depends: [
-  [ "colibri2.master" "git+https://git.frama-c.com/pub/colibrics.git#master"]
-  [ "colibrilib.master" "git+https://git.frama-c.com/pub/colibrics.git#master"]
+  [ "colibri2.5.1.0" "https://git.frama-c.com/pub/colibrics.git#5.1.0"]
 ]
diff --git a/encoding.opam.template b/encoding.opam.template
@@ -1,4 +1,4 @@
 available: (arch = "x86_64" | arch = "arm64") & os != "win32" & arch != "x86_32"
 pin-depends: [
-  [ "colibri2.master" "https://git.frama-c.com/pub/colibrics.git#master"]
+  [ "colibri2.5.1.0" "https://git.frama-c.com/pub/colibrics.git#5.1.0"]
 ]

Original file line number	Diff line number	Diff line change
`@@ -37,6 +37,5 @@ build: [`
`37`	`37`	`dev-repo: "git+https://github.com/formalsec/encoding.git"`
`38`	`38`	`available: (arch = "x86_64" \| arch = "arm64") & os != "win32" & arch != "x86_32"`
`39`	`39`	`pin-depends: [`
`40`		`- [ "colibri2.master" "git+https://git.frama-c.com/pub/colibrics.git#master"]`
`41`		`- [ "colibrilib.master" "git+https://git.frama-c.com/pub/colibrics.git#master"]`
	`40`	`+ [ "colibri2.5.1.0" "https://git.frama-c.com/pub/colibrics.git#5.1.0"]`
`42`	`41`	`]`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`	`1`	`available: (arch = "x86_64" \| arch = "arm64") & os != "win32" & arch != "x86_32"`
`2`	`2`	`pin-depends: [`
`3`		`- [ "colibri2.master" "https://git.frama-c.com/pub/colibrics.git#master"]`
	`3`	`+ [ "colibri2.5.1.0" "https://git.frama-c.com/pub/colibrics.git#5.1.0"]`
`4`	`4`	`]`