-
Xavier Leroy authored
The GPL makes sense for whole applications, but the dual-licensed Coq and OCaml files are more like libraries to be combined with other code, so the LGPL is more appropriate.
04f499c6
This project is licensed under the GNU Lesser General Public License v2.1 only.
Learn more
Loading