Note: This bug is displayed in read-only format because the product is no longer active in Red Hat Bugzilla.
RHEL Engineering is moving the tracking of its product development work on RHEL 6 through RHEL 9 to Red Hat Jira (issues.redhat.com). If you're a Red Hat customer, please continue to file support cases via the Red Hat customer portal. If you're not, please head to the "RHEL project" in Red Hat Jira and file new tickets here. Individual Bugzilla bugs in the statuses "NEW", "ASSIGNED", and "POST" are being migrated throughout September 2023. Bugs of Red Hat partners with an assigned Engineering Partner Manager (EPM) are migrated in late September as per pre-agreed dates. Bugs against components "kernel", "kernel-rt", and "kpatch" are only migrated if still in "NEW" or "ASSIGNED". If you cannot log in to RH Jira, please consult article #7032570. That failing, please send an e-mail to the RH Jira admins at rh-issues@redhat.com to troubleshoot your issue as a user management inquiry. The email creates a ServiceNow ticket with Red Hat. Individual Bugzilla bugs that are migrated will be moved to status "CLOSED", resolution "MIGRATED", and set with "MigratedToJIRA" in "Keywords". The link to the successor Jira issue will be found under "Links", have a little "two-footprint" icon next to it, and direct you to the "RHEL project" in Red Hat Jira (issue links are of type "https://issues.redhat.com/browse/RHEL-XXXX", where "X" is a digit). This same link will be available in a blue banner at the top of the page informing you that that bug has been migrated.

Bug 1532329

Summary: ocaml-docs is non-free
Product: Red Hat Enterprise Linux 6 Reporter: Richard W.M. Jones <rjones>
Component: ocamlAssignee: Richard W.M. Jones <rjones>
Status: CLOSED WONTFIX QA Contact: qe-baseos-tools-bugs
Severity: unspecified Docs Contact:
Priority: unspecified    
Version: 6.10CC: c.david86, extras-qa, fweimer, gemi, juzhou, mzhan, rjones, toneata, tzheng, xiaodwan
Target Milestone: rc   
Target Release: ---   
Hardware: Unspecified   
OS: Unspecified   
Whiteboard:
Fixed In Version: Doc Type: If docs needed, set a value
Doc Text:
Story Points: ---
Clone Of: 1530647 Environment:
Last Closed: 2019-07-03 12:29:16 UTC Type: Bug
Regression: --- Mount Type: ---
Documentation: --- CRM:
Verified Versions: Category: ---
oVirt Team: --- RHEL 7.3 requirements from Atomic Host:
Cloudforms Team: --- Target Upstream Version:
Embargoed:
Bug Depends On: 1530647    
Bug Blocks:    

Description Richard W.M. Jones 2018-01-08 16:35:20 UTC 
+++ 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.
Comment 2 Richard W.M. Jones 2018-01-10 14:42:50 UTC 
This is the kind of change needed:

https://src.fedoraproject.org/rpms/ocaml/c/e65cf15d355075294b13118554338d4bf8242de5?branch=master