more colibri2 pin fix attempts

hra687261 · filipeom · commit af60b0722b52 · 2024-01-27T23:13:27.000Z
diff --git a/encoding.opam.template b/encoding.opam.template
@@ -1,5 +1,5 @@
 available: (arch = "x86_64" | arch = "arm64") & os != "win32" & arch != "x86_32"
 pin-depends: [
-  [ "colibri2.dev" "git+ssh://git@git.frama-c.com/pub/colibrics.git#5.1.0"]
-  [ "colibrilib.dev" "git+ssh://git@git.frama-c.com/pub/colibrics.git#5.1.0"]
+  [ "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"]
 ]

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`available: (arch = "x86_64" \| arch = "arm64") & os != "win32" & arch != "x86_32"`
`2`	`2`	`pin-depends: [`
`3`		`- [ "colibri2.dev" "git+ssh://git@git.frama-c.com/pub/colibrics.git#5.1.0"]`
`4`		`- [ "colibrilib.dev" "git+ssh://git@git.frama-c.com/pub/colibrics.git#5.1.0"]`
	`3`	`+ [ "colibri2.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#5.1.0"]`
	`4`	`+ [ "colibrilib.0.4.0" "git+https://git.frama-c.com/pub/colibrics.git#5.1.0"]`
`5`	`5`	`]`