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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 5198D82355 for ; Wed, 3 Jan 2018 19:13:18 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=allanwegan@allanwegan.de; spf=None smtp.mailfrom=allanwegan@allanwegan.de; spf=None smtp.helo=postmaster@vserver22.colo-server.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of allanwegan@allanwegan.de) identity=pra; client-ip=185.82.85.124; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="allanwegan@allanwegan.de"; x-sender="allanwegan@allanwegan.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of allanwegan@allanwegan.de) identity=mailfrom; client-ip=185.82.85.124; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="allanwegan@allanwegan.de"; x-sender="allanwegan@allanwegan.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@vserver22.colo-server.net) identity=helo; client-ip=185.82.85.124; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="allanwegan@allanwegan.de"; x-sender="postmaster@vserver22.colo-server.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A4rb1ahUCZKKJcVDU8jY4BcvznubV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYYxyOt8tkgFKBZ4jH8fUM07OQ7/i5HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba9vIBmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmij?= =?us-ascii?q?oINyQh/W/KlMJwgqJVrhGvqRNxzIHbYp2aOeFxfq/BZ94UQnZNU8hTWiFHH4iy?= =?us-ascii?q?b5EPD+0EPetAs4T9o18OogG4BQKxBOzg1DBIiWXw3aYn1OkuCwXG3Ag6ENIIvn?= =?us-ascii?q?Xbstr1O70UUe2u1qbIyTHDYOlQ2Tbz9ofIfQouofeWUb1tb8Xc0E8iHB7LgFWX?= =?us-ascii?q?rIzqJTKV1uIVvmeB6+pgUfigi2gpqg5vrTig3MEshpPUiY0LzF3P6CZ3wJ4tKN?= =?us-ascii?q?GlS0N2YcSoHZhOuy2ANIZ7QtkuT3x2tCs10rEKpJ22cSgQxJknxRPTcf+Kf5aS?= =?us-ascii?q?7h79VOucJypzimh/d7KlnRmy9FCtyu3iWcmw11ZHtjRFksLSuXAXyRzc9NKHRu?= =?us-ascii?q?Vj8ku7xTmP0ATT6uZdLUAvi6XbMYAhzaAqlpYJt0TMADP2lF33jK+QaEok5vCl?= =?us-ascii?q?5/nkb7jmvJORNJF4hhv9P6kugMCzHPo0PwcWU2ie4+u81bnj/UPjQLVNi/07ir?= =?us-ascii?q?PWsJTeJcsBoK64DRFa0ok55Ba5FDqpytAYnX0dI1JDdhOIkYfpNEvIIPziEPiw?= =?us-ascii?q?nUygkC13yPDeIr3hHpLNI2Dfn7j7eLZ971dQyA4yzdBE+5JZEaoBIfL2Wk/prt?= =?us-ascii?q?PUFB45Mwquw+bmEtpxzI0eWXjcSpOeZajbtFvN4uM0P8GNYpUUsXDzMasL/fnr?= =?us-ascii?q?2FY9nVYbNZak0pIRICSxGvBvJVqUbnPqqt4FFW4MoQcxReqshFDUAm0bXGq7Q6?= =?us-ascii?q?9pvmJzM4mhF4qWHo0=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CSAABqHE1al3xVUrldHQEBBQELAYMPg?= =?us-ascii?q?RV0J4QHixiPbycUmSsHAx+FHAKEcxQBAQEBAQEBAQEBEgEBAQEBCBYGV4I4IoJ?= =?us-ascii?q?KAQICASNbCwtCAgJXEwYCAQGKIgyxQ4Inij4LAQEBFQ+EE4JmgQKCEgyCeYMwg?= =?us-ascii?q?jqCS4JlBaNRgRODP4ItmlOHZZcGgTw2gXEyGiRRgikJgluBdHeJUwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CSAABqHE1al3xVUrldHQEBBQELAYMPgRV0J4QHixiPbyc?= =?us-ascii?q?UmSsHAx+FHAKEcxQBAQEBAQEBAQEBEgEBAQEBCBYGV4I4IoJKAQICASNbCwtCA?= =?us-ascii?q?gJXEwYCAQGKIgyxQ4Inij4LAQEBFQ+EE4JmgQKCEgyCeYMwgjqCS4JlBaNRgRO?= =?us-ascii?q?DP4ItmlOHZZcGgTw2gXEyGiRRgikJgluBdHeJUwEBAQ?= X-IronPort-AV: E=Sophos;i="5.45,503,1508796000"; d="asc'?scan'208";a="307558297" Received: from mx1.iboxed.net (HELO vserver22.colo-server.net) ([185.82.85.124]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 03 Jan 2018 19:13:17 +0100 Received: from [10.0.118.242] (unknown [185.57.82.25]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by vserver22.colo-server.net (Postfix) with ESMTPSA id 4538866AB5 for ; Wed, 3 Jan 2018 19:13:14 +0100 (CET) To: caml-list@inria.fr References: <20180103150857.bktw4faavkywm4cw@annexia.org> From: Allan Wegan Openpgp: id=FBCE6B51371AC71E5533B8CEC3B7955C88CB542E Message-ID: <267e5e21-2598-4ec5-9c42-3087f25fea0d@allanwegan.de> Date: Wed, 3 Jan 2018 19:13:14 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.5.0 MIME-Version: 1.0 In-Reply-To: Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="BFgQXftTK7OMCL8LLwp1dh7gBxqEKN4bW" Subject: Re: [Caml-list] OCaml reference manual non-free license This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --BFgQXftTK7OMCL8LLwp1dh7gBxqEKN4bW Content-Type: multipart/mixed; boundary="Azu10ydp64eR2QdRbN9QuTySJFXDRgqW6"; protected-headers="v1" From: Allan Wegan To: caml-list@inria.fr Message-ID: <267e5e21-2598-4ec5-9c42-3087f25fea0d@allanwegan.de> Subject: Re: [Caml-list] OCaml reference manual non-free license References: <20180103150857.bktw4faavkywm4cw@annexia.org> In-Reply-To: --Azu10ydp64eR2QdRbN9QuTySJFXDRgqW6 Content-Type: text/plain; charset=utf-8 Content-Language: en-GB Content-Transfer-Encoding: quoted-printable > The only way a reference manual can be admissible as a (citable) > publication is if, once released, it is not editable. > But, indeed, if it is not editable, it is not free anymore... Here is > where we are stuck and have been for a long time with no escape (so > far). Not working in science myself - but is it forbidden to cite a specific version of a manual as published by one specific source? Just mentioning the repository where one got the manual from and the commit ID or version ID given by the author should provide enough data for everyone to be able to verify the cited source. --=20 Allan Wegan Jabber: allanwegan@ffnord.net OTR-Fingerprint: E4DCAA40 4859428E B3912896 F2498604 8CAA126F Jabber: allanwegan@jabber.ccc.de OTR-Fingerprint: A1AAA1B9 C067F988 4A424D33 98343469 29164587 --Azu10ydp64eR2QdRbN9QuTySJFXDRgqW6-- --BFgQXftTK7OMCL8LLwp1dh7gBxqEKN4bW Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE+85rUTcaxx5VM7jOw7eVXIjLVC4FAlpNHToACgkQw7eVXIjL VC6IhA//ZH6VRCsHbeldOc+vTUXuK0sdqMc8E4FERrhjkE7GRxGKpD6c65JKGXYe XgPVyeVnsL8vKsay/gYL81NOwlQdUhY6XtUf9maaFv7HcN9NFUjo5OcAkTJ8DdLn 0PYS7dAlGDX+g9N2KyOwdBD1Qcg5OHSxLvBTr74nj6IihbxddF/UUJ2hjPTHKjbk /iExa343Y6fyCiwGSUhZACVK5J7AtoJxaYhC4AKLEN6rKKToXrb+MrDLNgY84njT o2clGAeZZ7li5rYLuU2WvJ1/9POchjbhMK5kRH58K1zAjd2Tb4UE7HPNCJ5x22FD fStbkvDUrgCFaNFCsMDmFX2IbRjEW2ZKqOhvsaDbS0Y2SbUBpofjkPQkMP8HtY+s czu0z1M1G6ngkwEEXKZCMfY9Z2bykJ2d+m3//TFk77z5hfFWO8+TwEKhLzdr13Qs rntwED4h9bbN2iSHJ/k5rjnR39oT6D9M2clho/3+FwV/iVSew02d71V5jlwKUGtR X3TvSP9UjD8/53259aRXkYU+Xo432+xcFHu1N8pOZQcOKChHi/NrWJhknw5d/unE AWMgJL9koCLW9gRP6FTsDTDFQ4VdyHmmfaC+xKoQ7L/+My5sIWRUAtu3dLiKpEBE Vm1ko4OC3++hA1SAAhYd1N39swgJtxUx9JztxR1HeTL2mppIuq4= =1FI8 -----END PGP SIGNATURE----- --BFgQXftTK7OMCL8LLwp1dh7gBxqEKN4bW--