search

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo
https://alt-ergo.ocamlpro.com/
Other
130 stars 33 forks source link

opam package: make alt-ergo and alt-ergo-free uncompatible (whatever the version) #338

Open iguerNL opened 4 years ago

iguerNL commented 4 years ago

Currently, one can install latest versions of both alt-ergo and alt-ergo-free, which is bad, because both packages provide a binary called alt-ergo.

ACoquereau commented 4 years ago

Since the last release of alt-ergo-free(https://opam.ocaml.org/packages/alt-ergo-free/) this should not happen anymore. For the next release of Alt-Ergo, we should also add alt-ergo-free as conflict, to be sure