Update encoding.opam

filipeom · hra687261 · commit 112c22d8fafc · 2024-01-27T16:13:09.000+01:00
diff --git a/encoding.opam b/encoding.opam
@@ -39,4 +39,5 @@ 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"]
 ]

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