AFAIK, opam doesn't impose any licensing restrictions to add/publish a
new package :-)
Regards,
- Mohamed.
On 23/03/2020 18:21, François Bobot wrote:
Le 19/03/2020 à 17:14, Albin Coquereau a écrit :
Note that Alt-Ergo of course remains available for academic or exploratory
purpose under the
OCamlPro non commercial license. This is our way to replace the old model of
automatically releasing
a free version of Alt-Ergo with a one-year delay. Alt-Ergo 2.0.0 free was
released in February 2019,
and will remain the latest free version of Alt-Ergo for the time being.
You mentioned Debian, but just to be sure, it will be the same for opam?
Best,
_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club
