Pinning Colibri2+dev in a Frama-C switch forces to update to OCaml 5.1.1
From Frama-C, create a local switch and then in Colibri:
↗ upgrade ocaml 4.13.1 to 5.1.1 [required by colibrics, colibri2, colibrilib]
From Frama-C, create a local switch and then in Colibri:
↗ upgrade ocaml 4.13.1 to 5.1.1 [required by colibrics, colibri2, colibrilib]