alt-ergo
alt-ergo copied to clipboard
Using one opam package for the library, the binary and the parsers
We publish 4 opam packages for the project now. It makes sense to publish plugins in separate packages as they can used different licenses.
It'll be simpler to publish the binary, the library and the legacy parsers in a single opam file.
(suggested by @bclement-ocp offline)