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 7B8398239C for ; Sun, 11 Mar 2018 12:20:28 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mail@maximedenes.fr; spf=Pass smtp.mailfrom=mail@maximedenes.fr; spf=None smtp.helo=postmaster@6.mo3.mail-out.ovh.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mail@maximedenes.fr) identity=pra; client-ip=188.165.43.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mail@maximedenes.fr"; x-sender="mail@maximedenes.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mail@maximedenes.fr designates 188.165.43.173 as permitted sender) identity=mailfrom; client-ip=188.165.43.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mail@maximedenes.fr"; x-sender="mail@maximedenes.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@6.mo3.mail-out.ovh.net) identity=helo; client-ip=188.165.43.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mail@maximedenes.fr"; x-sender="postmaster@6.mo3.mail-out.ovh.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AzurwcBQFHF0vWp3cxfWb+mKzTNpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa69ZhON2/xhgRfzUJnB7Loc0qyK6/umATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfb1/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlS?= =?us-ascii?q?gHLSY0/nzJhMx+jKxVoxyvqBJwzIHWfI6bO+Fzfr/ecN4AWWZNQshcWi5HD4ih?= =?us-ascii?q?b4UPFe0BPeNAoof6vVQPohq+BQyyC+jyxDFPnHn22rQh0+88FgzG2RYvH9MKsH?= =?us-ascii?q?nPqdX6LqgTUeGwzKbW0DrMcfVW1inm6ITSfBAhu+iBULRtesTS0UkiDx7Jg1aT?= =?us-ascii?q?pID/Ij+Y1+QAv3KU4uduT+6jlmwqpg9prjWr28sgkJTFi4MJxlze6Cl0xIc4Kc?= =?us-ascii?q?elREN6YNOpFoZbuTuAOItsWMwiRnlluCYkxb0Cvp62ZCkHxI4ixx7YZfGLaY2I?= =?us-ascii?q?7QjiVOaVODt4g29leK6lixa170igyvfwVs+q31ZWtiZFk9/MuW4R1xHL98SKSf?= =?us-ascii?q?hw8l281TuO1w3f8O5JLE4umabGKZMszKY8lp8JvkTCGi/2ll/2jKiTdkg8/+in?= =?us-ascii?q?8eXnYrH9q5+ZLYB1hQD+MqEwlcOiH+s4NBYBX3OB9eSyzr3v5Vf5T6lSjv0qjq?= =?us-ascii?q?nZt4jXKtgBqa68Bw9Zy4Ij6xekDze6y9kYhnkGLFddeB2dlYTpOlfOIOr5Dfil?= =?us-ascii?q?mVisni1rlLj6OejqC5DJa3zCi6vJfLBn6kcaxhBg48pY4sdxA6EAJf+7ds73NM?= =?us-ascii?q?eQWhowMgicxu/3CdBw2o4YVHnJDLXPY/CaikOB+u96e7rEX4QSojuoc6F0tc6r?= =?us-ascii?q?tmcwnBomRYfs2JIWbH6iGfE/fRecaGrth9oNHGEHpUwwVr6z0QHQYXtof3+3Gp?= =?us-ascii?q?kEyHQjEov/U9XGT5CshbGN0SG2BdtYfDIeUw3eITLTb4yBHsw0RmeSL8tmyGBW?= =?us-ascii?q?C/6kTNRn0BivsEr91qYhKfTUvCsVqcC72Q=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C0AwBnEKVah60rpbxdHAEBAQQBAQoBA?= =?us-ascii?q?YQ5PS+DOT+ZaimBFpZHCoUlAoMRGQcBBDMVAQIBAQEBAQEBAQESAQEBCA0JCCg?= =?us-ascii?q?ugjgigkoBBQwXDwFWCQIYAgImAgJXEwgBAYUYi2edbYImhG+DRCeCGoENhCiDA?= =?us-ascii?q?oMRDIJ5hG2BAII8gmIEjXKMZAl7i3aDa4IGhwyFVpFIgSw0SIEsdBE6gkSCQYI?= =?us-ascii?q?GjF8BAQE?= X-IPAS-Result: =?us-ascii?q?A0C0AwBnEKVah60rpbxdHAEBAQQBAQoBAYQ5PS+DOT+Zaim?= =?us-ascii?q?BFpZHCoUlAoMRGQcBBDMVAQIBAQEBAQEBAQESAQEBCA0JCCgugjgigkoBBQwXD?= =?us-ascii?q?wFWCQIYAgImAgJXEwgBAYUYi2edbYImhG+DRCeCGoENhCiDAoMRDIJ5hG2BAII?= =?us-ascii?q?8gmIEjXKMZAl7i3aDa4IGhwyFVpFIgSw0SIEsdBE6gkSCQYIGjF8BAQE?= X-IronPort-AV: E=Sophos;i="5.47,455,1515452400"; d="scan'208";a="257764012" Received: from 6.mo3.mail-out.ovh.net ([188.165.43.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 11 Mar 2018 12:20:27 +0100 Received: from player157.ha.ovh.net (unknown [10.109.108.36]) by mo3.mail-out.ovh.net (Postfix) with ESMTP id 1F6AD1A1C1D for ; Sun, 11 Mar 2018 12:20:26 +0100 (CET) Received: from [192.168.0.49] (unknown [91.160.196.166]) (Authenticated sender: mail@maximedenes.fr) by player157.ha.ovh.net (Postfix) with ESMTPSA id B7EED50009A for ; Sun, 11 Mar 2018 12:20:26 +0100 (CET) To: caml-list@inria.fr References: <20180103150857.bktw4faavkywm4cw@annexia.org> <07e8a536-984b-850b-6dec-2c30ea0cfb2d@inria.fr> From: =?UTF-8?B?TWF4aW1lIETDqW7DqHM=?= Message-ID: <7397a84c-6593-1afb-4761-4ce4e2730312@maximedenes.fr> Date: Sun, 11 Mar 2018 12:20:26 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 MIME-Version: 1.0 In-Reply-To: <07e8a536-984b-850b-6dec-2c30ea0cfb2d@inria.fr> Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 8bit X-Ovh-Tracer-Id: 1223290251447482655 X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: 0 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrgedtfedrledugddvlecutefuodetggdotefrodftvfcurfhrohhfihhlvgemucfqggfjpdevjffgvefmvefgnecuuegrihhlohhuthemuceftddtnecu Subject: Re: [Caml-list] OCaml reference manual non-free license Hi, On 01/03/2018 05:52 PM, Boutillier, Pierre wrote: > As you've already notice by yourself debian also ships the documentation as non-free package and everybody is already aware[1] of the drawback a non-free license has on integration in free distributions... (Coq has the exact same problem for example) Just to clarify, Coq does not use the same license for its reference manual as OCaml. It uses OPL (with no options elected), which is considered free by the FSF but not by Debian (because of a few technical restrictions on derivative works, but nothing like having to ask permission to the original authors before distribution). AFAIK it never prevented it to be accepted as a citation, so I believe the argument is incorrect. Xavier is talking about authorship responsibility, which is different indeed. On 01/04/2018 02:44 PM, Xavier Leroy wrote: > So, if I have my name on it as one of the authors and if > I'm responsible for the contents, of course I won't let anyone modify > the contents without my approval. > I probably don't understand the license text correctly, since I have little knowledge on this topic. But just to clarify: if I want to push a documentation patch to my public github fork of OCaml, do I need to first get a written approval from Xavier, Damien, Alain, Jacques, Didier and Jérôme? If not, what exempts me from it (despite the third item in the license)? Maxime.