+++ This bug was initially created as a clone of Bug #1530647 +++

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 distribution.
  • 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 is given.
”

This is non-free, and there is no exception for non-free documentation in Fedora:

https://lists.fedoraproject.org/archives/list/legal@lists.fedoraproject.org/message/3YXN3YY5RXYWTNJDZZCRUV2PAZM5CQ7Q/

--- Additional comment from Richard W.M. Jones on 2018-01-03 10:09:57 EST ---

I asked upstream:

https://sympa.inria.fr/sympa/arc/caml-list/2018-01/msg00006.html

If we cannot get a suitable resolution from upstream then unfortunately
we'll have to drop the reference manual from the distribution.

Note this affects RHEL too.

--- Additional comment from Richard W.M. Jones on 2018-01-03 10:12:03 EST ---

Debian are distributing this in their non-free branch too ...

https://packages.debian.org/sid/ocaml-doc

Let's give it a few days and see if upstream are willing to relicense.

--- Additional comment from Richard W.M. Jones on 2018-01-08 11:34:28 EST ---

It looks as if we'll need to drop this subpackage.