free-header and Make target refer to CeCILL-C license

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

https://alt-ergo.ocamlpro.com/

Other

126 stars 33 forks source link

free-header and Make target refer to CeCILL-C license #1115

Open tuohy opened 2 months ago

tuohy commented 2 months ago

It is unclear how the -free branches and opam packages are built, since they lack free-header.txt and License.OCamlPro refers to Apache 2.0. They should definitely both be either updated or removed.