From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 2D80382355 for ; Mon, 8 Jan 2018 17:34:47 +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=3ABhYlVxJxZaw8eBs4htmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgeLvvxwZ3uMQTl6Ol3ixeRBMOHs6sC07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffxhEiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QKsqUjq+8ahkVB7oiD?= =?us-ascii?q?8GNzEn9mHXltdwh79frB64uhBz35LYbISTOfFjfK3SYMkaSHJPUMhRSSJPH4Cy?= =?us-ascii?q?b4UAAOUdIOlXrYfyqkASrReiHwSgGP/jxyVWinLwwKY00/4hEQbD3AE4Ed4ArH?= =?us-ascii?q?XUo8n1NKgIS+C60bTDwjXZY/1Rwzv29YzGchcnof6SRrJ8f9faxE41FwPEklqQ?= =?us-ascii?q?qZfoMCmT1uQLrWea4OtgWvi1h24gsQFxrSGiy8ExgYfHgYIVz0rL9SR/wIstK9?= =?us-ascii?q?23VlN0Ydm+EJRKryGaLYx2QsE8TG50pCY20LoGuYS0fCUM1Z8pxAbfZuSEfoSU?= =?us-ascii?q?+B7uVeWcLS18iX54Yr6zmhS//Emmx+bhTMe7ykxKoTBAktTUtnACyRjT6s+fR/?= =?us-ascii?q?Rn+Eeh3yiA1g/S6u5eO0w0krDbK5E5zr4xkJocr1jDEzf1lUnqlqObd0Yp9vKs?= =?us-ascii?q?5uj6eLnqu52ROo5shgH7KKsum8i/AeoiMggJWmiW4f681Lz/8k35W7hFlPs2kq?= =?us-ascii?q?/Hv5HVJMQUvLS1AwhP0oYs8xq/FSup0MwEnXkbK1JIYB2Gj4z3NFHUJ/D5Deyy?= =?us-ascii?q?glWtkDdu3P/GJKfuDo/MLnjFirfhfKxy51RSyAop1dpf/Y5bCqkdIPLvXU/8rM?= =?us-ascii?q?DXAQU8Mwyw2urnDNR91pgCWW+UGa+YMKbSsUeS6e41IumMYpUVuDfnJPQ/6f7u?= =?us-ascii?q?lyxxpVhITaC33JYNIFS1BPN3axGJaGTtj81HFWoQuRsWTerwiVTEXyQFNFioWK?= =?us-ascii?q?dprAs6A4KvF4uLecaIxvSj2yG2BdceMnpHAVCkGHHuepWFUrELci3EcZwpqSAN?= =?us-ascii?q?SbX0E9xp7hqprgKvjuM/duc=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BcBQBJnVNa/7BbRFBdGwEBAQEDAQEBC?= =?us-ascii?q?QEBAYM/ZnSdK0gGgTSZPwojhRgChDZDFAEBAQEBAQEBAQFqKII4JAGCRwEFOj8?= =?us-ascii?q?QCxgJExIPLRsGijcRDLJ4ijEBAQEBAQUBAQEBHwWGNYEOPoFygy+LGgWZb4lvA?= =?us-ascii?q?ogFjSqUFo0ziWSBPDYigVB8CD2CK4RWQYsmAQEB?= X-IPAS-Result: =?us-ascii?q?A0BcBQBJnVNa/7BbRFBdGwEBAQEDAQEBCQEBAYM/ZnSdK0g?= =?us-ascii?q?GgTSZPwojhRgChDZDFAEBAQEBAQEBAQFqKII4JAGCRwEFOj8QCxgJExIPLRsGi?= =?us-ascii?q?jcRDLJ4ijEBAQEBAQUBAQEBHwWGNYEOPoFygy+LGgWZb4lvAogFjSqUFo0ziWS?= =?us-ascii?q?BPDYigVB8CD2CK4RWQYsmAQEB?= X-IronPort-AV: E=Sophos;i="5.46,330,1511823600"; d="scan'208";a="250449706" Received: from annexia.org ([80.68.91.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 08 Jan 2018 17:34:13 +0100 Received: from rich by annexia.org with local (Exim 4.89) (envelope-from ) id 1eYaNH-0003kM-31; Mon, 08 Jan 2018 16:34:11 +0000 Date: Mon, 8 Jan 2018 16:34:10 +0000 From: "Richard W.M. Jones" To: Xavier Leroy Cc: caml-list@inria.fr Message-ID: <20180108163410.l2ao2ajkm653fi4n@annexia.org> References: <20180103150857.bktw4faavkywm4cw@annexia.org> <07e8a536-984b-850b-6dec-2c30ea0cfb2d@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <07e8a536-984b-850b-6dec-2c30ea0cfb2d@inria.fr> User-Agent: NeoMutt/20170113 (1.7.2) Subject: Re: [Caml-list] OCaml reference manual non-free license On Thu, Jan 04, 2018 at 02:44:05PM +0100, Xavier Leroy wrote: > On 03/01/2018 16:08, Richard W.M. Jones wrote: > > 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? > > Debian is happy with putting OCaml's manual in the non-free section. > > https://fedoraproject.org/wiki/Licensing:Main lists CC-BY-ND as a good > license for contents, but doesn't list it (neither good nor bad) for > documentation. Care to explain the difference between documentation > and contents? Thanks Xavier. Fedora doesn't have a non-free section, although people use other repositories such as RPMFusion which ship packages that are legally difficult to ship for all sorts of reasons. "Content" is stuff like clip art, fonts and things and apparently it's not suitable for documentation. We'll drop the documentation for now. Rich. -- Richard Jones