From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rich@annexia.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 3AF7682355
	for <caml-list@sympa.inria.fr>; Wed,  3 Jan 2018 16:08:59 +0100 (CET)
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rich@annexia.org; spf=Pass smtp.mailfrom=rich@annexia.org; spf=Pass smtp.helo=postmaster@annexia.org
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  rich@annexia.org) identity=pra; client-ip=80.68.91.176;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="rich@annexia.org";
  x-sender="rich@annexia.org"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  rich@annexia.org designates 80.68.91.176 as permitted sender)
  identity=mailfrom; client-ip=80.68.91.176;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="rich@annexia.org";
  x-sender="rich@annexia.org"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  postmaster@annexia.org designates 80.68.91.176 as permitted
  sender) identity=helo; client-ip=80.68.91.176;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="rich@annexia.org";
  x-sender="postmaster@annexia.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
IronPort-PHdr: =?us-ascii?q?9a23=3AFWNrXB+5221v6P9uRHKM819IXTAuvvDOBiVQ1KB4?=
 =?us-ascii?q?0uocTK2v8tzYMVDF4r011RmVBdyds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?=
 =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?=
 =?us-ascii?q?Ifn+FpLPg8it2O2+54Dfbx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?=
 =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?=
 =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRhHohi?=
 =?us-ascii?q?kZKjA3827YhdBtg61Vux+huwBzzpTIbI2JLvdyYKXQds4aS2pbWcZRUjRMDo2g?=
 =?us-ascii?q?YYsOE+UBPfxXr5PgqFATrRSyHw6iCPnywTFMgX/227M10/8vHQrb2wEgBdMOv2?=
 =?us-ascii?q?jUrNjuLqgSV+a1w7fHzDXCdfxawzD96JLHch04p/yHQLx+cc3UyUY1FgPFiE2d?=
 =?us-ascii?q?qZb7MDyI1uQCqXSb4/B8WuKojm4qrRx6rDu3xso0iYTFmpgZx1HH+CljxIs5OM?=
 =?us-ascii?q?e0RFN5bNOlFpZbqjuUOJFsQsw4RmFloCY6xaMCuZ68ZCUF0pInxxjBZP2IcoiH?=
 =?us-ascii?q?+AjvVOGLITd3nH5lebS/iAiu8UW4yeDwStO43VdJoyZfltTAq2oB2wHR58WGUv?=
 =?us-ascii?q?d9+12u2TeL1wDd8OFEJkU0mLLBK54g3rEwloEevl7FHi/whkr3g66WeV8+9uiv?=
 =?us-ascii?q?8eTnba3qpoWAOI9slgH+LqMul9SjDusiNwgOW3GX+eC91L344U30W65Kj/0zkq?=
 =?us-ascii?q?nBqp/WP8UbpqijAw9UyIkv8Ri/Dy31mOgfyHIOKVYAfBOck6DoPUvPKbb2F6SR?=
 =?us-ascii?q?mVOpxX1RxvvGN6ftSqqLCz6LsrDncK03oxpGyQEz5dlZ4Z9EC7hHJ+j8DByi/O?=
 =?us-ascii?q?fEBwM0ZlTni93sD89wg9sT?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D3EwA78Uxa/7BbRFBcHgEYgzhmdCedR?=
 =?us-ascii?q?EcGmnMKI4lKRBMBAQEBAQEBAQEBaiiCOCKDCnsTIS2KVREMszKKZgWEE4ISgQ4?=
 =?us-ascii?q?+iFEYgiKFMAWjUQKIAYdihUSCCwE7kUeNJ4lfgTw3IYFPfAiCZ4IPgkdBNwGJO?=
 =?us-ascii?q?wEBAQ?=
X-IPAS-Result: =?us-ascii?q?A0D3EwA78Uxa/7BbRFBcHgEYgzhmdCedREcGmnMKI4lKRBM?=
 =?us-ascii?q?BAQEBAQEBAQEBaiiCOCKDCnsTIS2KVREMszKKZgWEE4ISgQ4+iFEYgiKFMAWjU?=
 =?us-ascii?q?QKIAYdihUSCCwE7kUeNJ4lfgTw3IYFPfAiCZ4IPgkdBNwGJOwEBAQ?=
X-IronPort-AV: E=Sophos;i="5.45,501,1508796000"; 
   d="scan'208";a="249984077"
Received: from annexia.org ([80.68.91.176])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 03 Jan 2018 16:08:58 +0100
Received: from rich by annexia.org with local (Exim 4.89)
	(envelope-from <rich@annexia.org>)
	id 1eWkf3-00006Q-CT
	for caml-list@inria.fr; Wed, 03 Jan 2018 15:08:57 +0000
Date: Wed, 3 Jan 2018 15:08:57 +0000
From: "Richard W.M. Jones" <rich@annexia.org>
To: caml-list@inria.fr
Message-ID: <20180103150857.bktw4faavkywm4cw@annexia.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: NeoMutt/20170113 (1.7.2)
Subject: [Caml-list] OCaml reference manual non-free license

Hi, this bug was filed:

  https://bugzilla.redhat.com/show_bug.cgi?id=1530647

I notice that Florian is correct and copies of the reference manual do
indeed have a non-free license (specifically restrictions on making
derivative works).

Is this intended?  If so we'll have to drop this documentation from
Fedora which would be a shame.  If not, could the work be relicensed
under a suitable free license?

Rich.