ploc

Updated opam osdp dependency to 1.1.0 which has been released (cf https://github.com/ocaml/opam-repository/commit/c353c5adfd87a691bec635f4e880a29e470c3214)

Issues in CI workflows were caused by the recent release of Cmdliner (1.1.0). I don't know why it doesn't show up in the CI of the "next" branch. I added...

Impact is significant ! Most uses of Cmdliner in Alt-ergo rely on the deprecated Term module. It causes many warning and one error in the last line of the module.

Hi @Gbury , what's the status? Do you need us to do anything?

Any news since JFLA ? I am still interested in the merge!