Remove the pin on Ocplib-simplex

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

https://alt-ergo.ocamlpro.com/

Other

130 stars 33 forks source link

Closed Halbaroth closed 5 months ago

Halbaroth commented 5 months ago

In #1068, we will add a pin on the commit https://github.com/OCamlPro/ocplib-simplex/commit/50996ec8142bf9deef383cbbc774cf46d639b371 of Ocplib-simplex. We have to remove this pin before releasing the next version of Alt-Ergo and we have to release a minor version of Ocplib-simplex before.

bclement-ocp commented 5 months ago

Maybe we should just make an ocplib-simplex patch release now and be done with it?