alt-ergo icon indicating copy to clipboard operation
alt-ergo copied to clipboard

Using one opam package for the library, the binary and the parsers

Open Halbaroth opened this issue 2 years ago • 0 comments

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)

Halbaroth avatar Oct 18 '23 15:10 Halbaroth