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 A842782355 for ; Fri, 5 Jan 2018 21:55:07 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=marek@xivilization.net; spf=Pass smtp.mailfrom=marek@xivilization.net; spf=None smtp.helo=postmaster@coaxial.xivilization.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of marek@xivilization.net) identity=pra; client-ip=178.63.18.39; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="marek@xivilization.net"; x-sender="marek@xivilization.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of marek@xivilization.net designates 178.63.18.39 as permitted sender) identity=mailfrom; client-ip=178.63.18.39; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="marek@xivilization.net"; x-sender="marek@xivilization.net"; 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@coaxial.xivilization.net) identity=helo; client-ip=178.63.18.39; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="marek@xivilization.net"; x-sender="postmaster@coaxial.xivilization.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A1fM5OxzV/rktb47XCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?1OkeIJqq85mqBkHD//Il1AaPAd2Craocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HObwlSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRHmiC?= =?us-ascii?q?kJKSM3/mLVhcx+i6xUrw6uqRNkzo7IYoyYLuZyc7nBcd8EQ2dKQ8ZfVzZGAoO5?= =?us-ascii?q?d4YBCPAOPfxGoIn+ulAAqAa+ChKtBOzz0DBDm3j73agg3OQ7Dw7G3xctHt0PsH?= =?us-ascii?q?TKrdX1MKYSUOGvw6nUzDXDaPVW1S376IfWbhAsuPeBVq9zf8rJ0UQjCgHIg1aK?= =?us-ascii?q?pYHkMT6ZzPkBvmuB4+duUe+jk3ArpxxvrjS12MshhIvEipgRx13A7yl13og4KN?= =?us-ascii?q?6+RUVme9CrCoFQuDufN4ZuQsMtXWVouCEix7Iavp60ZicLyJU9yB7bcfCGfImI?= =?us-ascii?q?4gziVOaVIDd5hWhqeK6+hxa190is0Ov8Wdeo0FpSrypFlMfDtmwV2hDO6MWKSe?= =?us-ascii?q?Fx80av1DqVygze6ftILE4wmKbDLp4u2L8wlp4dsUTZGS/2nV37jKqMeUU+5Oeo?= =?us-ascii?q?6P/qY7rnpp+CNo90jgD+M6U0lcyjAOQ4NQ4OU3Kd+euiyL3v5Vf5T6lSjv0qjq?= =?us-ascii?q?nZt4jXKtgBqa68Bw9Zy4Ij6xekDze6y9kYhnkGLFddeB2dlYTpOlfOIOr5Dfil?= =?us-ascii?q?mVisni1rlLj6OejqC5DJa3zCi6vJfLBn6kcaxhBg48pY4sdxA6sMI7rQR0Xwv9?= =?us-ascii?q?WQWhowKQG36/bmFtR515EXRWOIBOmfPb+E4gzA3f4mP+TZPNxdgz36MfVwv/M?= =?us-ascii?q?=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C6BwCa5U9a/ycSP7JdHAEBAQQBAQoBA?= =?us-ascii?q?YM+gVonjx+NdoICFBCZGwqFOwIMhCVDFAEBAQEBAQEBAQFqKII4IoJKAQQBOgY?= =?us-ascii?q?BATgECwshJQ9IGYonDAGwAIMVgwoBAQWBAYYxAQEIIAiEFIIVgVaBaIMvgzCCO?= =?us-ascii?q?oUwo2GVL4EAkxOXE4E8NiKBUDIaCCYKPYIqgkWCE3eJbQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0C6BwCa5U9a/ycSP7JdHAEBAQQBAQoBAYM+gVonjx+NdoI?= =?us-ascii?q?CFBCZGwqFOwIMhCVDFAEBAQEBAQEBAQFqKII4IoJKAQQBOgYBATgECwshJQ9IG?= =?us-ascii?q?YonDAGwAIMVgwoBAQWBAYYxAQEIIAiEFIIVgVaBaIMvgzCCOoUwo2GVL4EAkxO?= =?us-ascii?q?XE4E8NiKBUDIaCCYKPYIqgkWCE3eJbQEBAQ?= X-IronPort-AV: E=Sophos;i="5.46,319,1511823600"; d="scan'208";a="250212152" Received: from coaxial.xivilization.net ([178.63.18.39]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 05 Jan 2018 21:55:06 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=xivilization.net; s=xiv; h=Content-Transfer-Encoding:Content-Type: MIME-Version:References:In-Reply-To:Message-ID:Subject:To:From:Date:Sender: Reply-To:Cc:Content-ID:Content-Description:Resent-Date:Resent-From: Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help: List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=3p2XvgEWjsIUtMIyk+bgJpb7up3NgtfnQgC+cX9vpLQ=; b=AzS0MDmkI2Zs1HFap4PashsC6w dSYDs3T9aR+ZG0X6klUoYLMEt2oCZ/2hwS3G7JfDf7TyR3FYZhvU0MNYd/5lqee4qXSBR0NWltahS RfXpy/ZG2+uwC4Ozc/3lj6AS40+bqMbkXVGHespDsGMs3NPZWqk2GOHiKic5eCU/hkEQ=; Received: from customer-212-237-99-238.ip4.gigabit.dk ([212.237.99.238] helo=localhost.localdomain) by coaxial.xivilization.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1eXZ17-0003j2-Lf for caml-list@inria.fr; Fri, 05 Jan 2018 21:55:05 +0100 Date: Fri, 5 Jan 2018 21:55:04 +0100 From: Marek Kubica To: caml-list@inria.fr Message-ID: <20180105215504.14aefb1f@xivilization.net> In-Reply-To: <07e8a536-984b-850b-6dec-2c30ea0cfb2d@inria.fr> References: <20180103150857.bktw4faavkywm4cw@annexia.org> <07e8a536-984b-850b-6dec-2c30ea0cfb2d@inria.fr> X-Mailer: Claws Mail 3.16.0 (GTK+ 2.24.31; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] OCaml reference manual non-free license On Thu, 4 Jan 2018 14:44:05 +0100 Xavier Leroy wrote: > The restriction on derivative works is very much intended. > > The license predates Creative Commons, but in CC terms it would be > CC-BY-ND. Non-derivative licenses like the custom one on the OCaml manual and also CC-BY-ND create annoying edge cases. We've seen the case of Debian and Fedora already. But reading the license: > - Any translation or derivative work of the OCaml documentation and > user's manual must be approved by the authors in writing before > distribution. It also creates issues for people wanting to contribute to the OCaml manual on e.g. GitHub. It is not possible to create a pull request with a change to the manual on any public platform because that would be publishing without approval. Kind regards, Marek