On 12/31/2017 04:53 PM, Florian Weimer wrote:
Should Fedora distribute content under the Ocaml documentation
The license says:
The present documentation is copyright © 2013 Institut National de
Recherche en Informatique et en Automatique (INRIA). The OCaml
documentation and user’s manual may be reproduced and distributed in
whole or in part, subject to the following conditions:
• The copyright notice above and this permission notice must be
preserved complete on all complete or partial copies.
• Any translation or derivative work of the OCaml documentation and
user’s manual must be approved by the authors in writing before
• If you distribute the OCaml documentation and user’s manual in part,
instructions for obtaining the complete version of this manual must be
included, and a means for obtaining a complete version provided.
• Small portions may be reproduced as illustrations for reviews or
quotes in other works without this permission notice if proper citation
For program source code, this would clearly not be allowed because
derivative works are not permitted. Are such restrictions permitted for
documentation licenses in Fedora?
No. The restrictions upon modification make this non-free, and we have
never permitted non-free documentation in Fedora.