search

coq-community / manifesto

Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
Other
68 stars 6 forks source link

restrict licenses to OSI approved or FSF free software, encourage OSI-FSF intersection #134

Closed palmskog closed 2 years ago

palmskog commented 2 years ago

We want to explicitly allow non-OSI free software licenses such as CECILL-B and CECILL-C, while encouraging MIT/MPL-2.0 and preferring OSI over non-OSI. Based on this discussion in the Coq Zulip.

I change from "choose" to "use", since these are requirements that restrict choice rather than mere recommendations on top of free choice.