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 92FF982355 for ; Wed, 3 Jan 2018 17:52:38 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Pierre_Boutillier@hms.harvard.edu; spf=Pass smtp.mailfrom=Pierre_Boutillier@hms.harvard.edu; spf=Pass smtp.helo=postmaster@NAM03-DM3-obe.outbound.protection.outlook.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Pierre_Boutillier@hms.harvard.edu) identity=pra; client-ip=104.47.41.85; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Pierre_Boutillier@hms.harvard.edu"; x-sender="Pierre_Boutillier@hms.harvard.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of Pierre_Boutillier@hms.harvard.edu designates 104.47.41.85 as permitted sender) identity=mailfrom; client-ip=104.47.41.85; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Pierre_Boutillier@hms.harvard.edu"; x-sender="Pierre_Boutillier@hms.harvard.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@NAM03-DM3-obe.outbound.protection.outlook.com designates 104.47.41.85 as permitted sender) identity=helo; client-ip=104.47.41.85; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Pierre_Boutillier@hms.harvard.edu"; x-sender="postmaster@NAM03-DM3-obe.outbound.protection.outlook.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3A5bne+hyZWnqmgXbXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0uoVIvad9pjvdHbS+e9qxAeQG9mDsrQc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q99pHPfglEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7Vq4/Vyi84Kh3SR/okC?= =?us-ascii?q?YHOCA/8GHLkcx7kaZXrAu8qxBj34LYZYeYO/1jcKPAZtMaXXROUdpNVyJPBYO8?= =?us-ascii?q?apEAD+sHPe1Fq4XwqF8DoR64CAKxBu3g1yVIi2f206MkzuohDQ/I0g8uH90MsX?= =?us-ascii?q?TbsNr7O6gJXOCp16bIyCnPY+9K1Tr/7oXDbxAvoeuLXbJ1acfdx1QiFwTYjlWM?= =?us-ascii?q?qIzlOzeV1uUTvGiB9+ZrSPihi285pAFruDig2MkggZTOi4wPy1DL6z95wJwrKt?= =?us-ascii?q?KgVUN7ZsOkEIdRtyGeM4t2Q90tQ3tztSY6z70GooS3fCgQx5Q92R7QceaHfJWS?= =?us-ascii?q?7h39SemRPC51iXR4c7yxgBay9FKvyuz6VsSsylZFsDdKktnWuXARzRDc9s+HSv?= =?us-ascii?q?5l8keg3zaPzQHT5fteLUA6j6rXM54gzaQwlpoUtkTPBDP5mELzjKKQa04q+fCo?= =?us-ascii?q?5vz6brn6qZKQLYB5hwPkPqkhh8CzG+c1PwgWU2SG9+mx26fv8VD7TbhFlPE6j6?= =?us-ascii?q?bUvIzAKckVuKK0BRJe3Jw55BalFTim1cwVnXkZI1JBfxKKl5DnNk3JLvzkA/qz?= =?us-ascii?q?mlqinjBlyvzfOb3uGYvCImLEkLf8YbZy8ElcyBc1zd9C/Z5UEqsBIPXvWkDvqN?= =?us-ascii?q?PYEh45Mwuyw+r9D9V9y58eWWaIAq+eM6Peq0OH5uUqI+WUZY8VvijyK+Q96vLz?= =?us-ascii?q?kXM0lkURcKar0JcNZ320A+5qLkaZbHb0h9cOC2YKvg4wTOzwj12CVCZeaWyzX6?= =?us-ascii?q?0i/DE7EpypAp/eS4CqnbyBwCa7HplSZmBHFF+MC2zld4WBW/cXci6SItVukiYa?= =?us-ascii?q?Vbe7UY8uyAuiuxHnxLp6NubU4DEXtYr/1Nhp4O3ejQ09+iZxD8SZym2NS2B0nn?= =?us-ascii?q?gURzItx6B+oUl9yk+Z3qRigvxYE8ZT5/JTXQsgO57c1b8yN9enEDjAddeAUlru?= =?us-ascii?q?fZODR3kTSdQ82JVGN1x8ENWKhxbF0jqrCvkSjbPdV7Iu9aeJlVL2Otp8z3LH2b?= =?us-ascii?q?Nlx2EnT9FVOCfu0pZ++hLJCrnjlFiFlqKudKkG9C7I7yGDxHCQtVtUFgN8TPOW?= =?us-ascii?q?DjgkekLKoIGhtQv5RLi0BOFib1JM?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CwAACGCU1ah1UpL2hdGwEBAQEDAQEBC?= =?us-ascii?q?QEBAYMPLFkQZQQLJweEAIsYjViCS4JollcBCSOBXoM6AhqEWRQBAQEBAQEBAQE?= =?us-ascii?q?BEgEBAQgNCQgoL4I4JIJIAQICASMRKw8LBQsCAQgaAgkdAgICMBMCEAIEDgUSi?= =?us-ascii?q?gQDDQgQpSwCi3iCJ4dBA1IHgiEBAQEBAQEBAwEBAQEBAQEBAQEBHYEPgwSFeoM?= =?us-ascii?q?FgyQMGIEiNIMXMYI0BYhhDJB5iWUGAogBg3SDbogLQpEFjSeJMgICAgIJAhEBA?= =?us-ascii?q?QeBPDaBcXFQKgGBfgmCW4FzeAGIPAGBFQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CwAACGCU1ah1UpL2hdGwEBAQEDAQEBCQEBAYMPLFkQZQQ?= =?us-ascii?q?LJweEAIsYjViCS4JollcBCSOBXoM6AhqEWRQBAQEBAQEBAQEBEgEBAQgNCQgoL?= =?us-ascii?q?4I4JIJIAQICASMRKw8LBQsCAQgaAgkdAgICMBMCEAIEDgUSigQDDQgQpSwCi3i?= =?us-ascii?q?CJ4dBA1IHgiEBAQEBAQEBAwEBAQEBAQEBAQEBHYEPgwSFeoMFgyQMGIEiNIMXM?= =?us-ascii?q?YI0BYhhDJB5iWUGAogBg3SDbogLQpEFjSeJMgICAgIJAhEBAQeBPDaBcXFQKgG?= =?us-ascii?q?BfgmCW4FzeAGIPAGBFQEBAQ?= X-IronPort-AV: E=Sophos;i="5.45,501,1508796000"; d="scan'208";a="307550094" Received: from mail-dm3nam03on0085.outbound.protection.outlook.com (HELO NAM03-DM3-obe.outbound.protection.outlook.com) ([104.47.41.85]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA256; 03 Jan 2018 17:52:36 +0100 Received: from BN3PR0701MB1671.namprd07.prod.outlook.com (10.163.39.15) by BN3PR0701MB1671.namprd07.prod.outlook.com (10.163.39.15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P256) id 15.20.386.5; Wed, 3 Jan 2018 16:52:34 +0000 Received: from BN3PR0701MB1671.namprd07.prod.outlook.com ([10.163.39.15]) by BN3PR0701MB1671.namprd07.prod.outlook.com ([10.163.39.15]) with mapi id 15.20.0386.005; Wed, 3 Jan 2018 16:52:34 +0000 From: "Boutillier, Pierre" To: "Richard W.M. Jones" CC: "caml-list@inria.fr" Thread-Topic: [Caml-list] OCaml reference manual non-free license Thread-Index: AQHThKTPXVjJDLLATkSYBJvkkj8CuKNiXTaA Date: Wed, 3 Jan 2018 16:52:34 +0000 Message-ID: References: <20180103150857.bktw4faavkywm4cw@annexia.org> In-Reply-To: <20180103150857.bktw4faavkywm4cw@annexia.org> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [134.174.140.32] x-ms-publictraffictype: Email x-microsoft-exchange-diagnostics: 1;BN3PR0701MB1671;7:JjQAuSSQEx74S4euczoTWNJPH+nzpFAaFrOV3l063Do+WEmejsppDRsxOcSoLEAJPcVwBsCvaOO0awbQkHhsYPuRSgMtJFDDHbBYCPAtG/AWptorpaiSHi+PkvoAJ4pAUK1Z/UddWmQkxkoZM7GU7LqrXi6GQGdus4HIadKdP1uBtPjXCR3TJZAMib9NA2QvZbIKr0sHGDbdfDSSibYoZW5LiuCICcfW0aor0HlHSuPzbOrDJNweXfG//W89Kcw7 x-ms-exchange-antispam-srfa-diagnostics: SSOS; x-ms-office365-filtering-correlation-id: 00d55fd3-c9e9-422e-6d33-08d552ca6306 x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:(5600026)(4604075)(3008032)(4534020)(4602075)(4627115)(201703031133081)(201702281549075)(2017052603307)(7153060);SRVR:BN3PR0701MB1671; x-ms-traffictypediagnostic: BN3PR0701MB1671: x-microsoft-antispam-prvs: x-exchange-antispam-report-test: UriScan:(20558992708506)(243061576751430)(83566789882024)(201166117486090); x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(6040470)(2401047)(5005006)(8121501046)(3231023)(944501075)(93006095)(93001095)(3002001)(10201501046)(6041268)(20161123564045)(201703131423095)(201702281529075)(201702281528075)(20161123555045)(201703061421075)(201703061406153)(20161123558120)(20161123562045)(20161123560045)(6072148)(201708071742011);SRVR:BN3PR0701MB1671;BCL:0;PCL:0;RULEID:(100000803101)(100110400095);SRVR:BN3PR0701MB1671; x-forefront-prvs: 0541031FF6 x-forefront-antispam-report: SFV:NSPM;SFS:(10009020)(366004)(346002)(396003)(376002)(39860400002)(39380400002)(189003)(199004)(27584003)(105586002)(6506007)(3660700001)(75432002)(88552002)(81156014)(8676002)(99286004)(81166006)(25786009)(8936002)(478600001)(3280700002)(72206003)(7736002)(76176011)(305945005)(5660300001)(106356001)(80792005)(4326008)(59450400001)(6246003)(6306002)(6512007)(316002)(786003)(97736004)(14454004)(53936002)(6486002)(229853002)(33656002)(77096006)(83716003)(74826001)(2906002)(82746002)(6436002)(86362001)(3846002)(6116002)(68736007)(66066001)(42882006)(1720100001)(966005)(6916009)(102836004)(2900100001)(2950100002);DIR:OUT;SFP:1101;SCL:1;SRVR:BN3PR0701MB1671;H:BN3PR0701MB1671.namprd07.prod.outlook.com;FPR:;SPF:None;PTR:InfoNoRecords;MX:1;A:1;LANG:en; x-microsoft-antispam-message-info: F6goAajKV7/EvpXhkzC7GOU0Csg8bNVxI2L1l30q62Hj5QPhmcluVrbNH1N1a/+xcZchf8e4/dsYm5JwYQR8rg== spamdiagnosticoutput: 1:99 spamdiagnosticmetadata: NSPM Content-Type: text/plain; charset="utf-8" Content-ID: <67A5E3E2FCB0214BA17509EED96B8E0A@namprd07.prod.outlook.com> Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-OriginatorOrg: hms.harvard.edu X-MS-Exchange-CrossTenant-Network-Message-Id: 00d55fd3-c9e9-422e-6d33-08d552ca6306 X-MS-Exchange-CrossTenant-originalarrivaltime: 03 Jan 2018 16:52:34.0248 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 6ffa22f4-4568-4105-ad43-2e3ad4726957 X-MS-Exchange-Transport-CrossTenantHeadersStamped: BN3PR0701MB1671 X-Validation-by: pierre_boutillier@hms.harvard.edu Subject: Re: [Caml-list] OCaml reference manual non-free license SGkgUmljaGFyZCwgSGkgbGlzdCwNCg0KSSBhbSBub3QgYW4gYXV0aG9yaXRh dGl2ZSB2b2ljZSwgSSBvbmx5IHNoYXJlIHdoYXQgSSdtIGF3YXJlIGluIG9y ZGVyIHRvIHNhdmUgdGltZS4NCg0KRG9uJ3QgaG9sZCB5b3VyIGJyZWF0aCBl eHBlY3RpbmcgYSByZWxpY2Vuc2luZy4NCg0KQXMgeW91J3ZlIGFscmVhZHkg bm90aWNlIGJ5IHlvdXJzZWxmIGRlYmlhbiBhbHNvIHNoaXBzIHRoZSBkb2N1 bWVudGF0aW9uIGFzIG5vbi1mcmVlIHBhY2thZ2UgYW5kIGV2ZXJ5Ym9keSBp cyBhbHJlYWR5IGF3YXJlWzFdIG9mIHRoZSBkcmF3YmFjayBhIG5vbi1mcmVl IGxpY2Vuc2UgaGFzIG9uIGludGVncmF0aW9uIGluIGZyZWUgZGlzdHJpYnV0 aW9ucy4uLiAoQ29xIGhhcyB0aGUgZXhhY3Qgc2FtZSBwcm9ibGVtIGZvciBl eGFtcGxlKQ0KDQpUaGUgcmF0aW9uYWxlIGlzIHRoZSBmb2xsb3dpbmc6DQpC ZWNhdXNlIHNjaWVudGlmaWNhbGx5IHJlc2VhcmNoIGlzIGV2YWx1YXRpbmcg dGhyb3VnaCAoYW5kIHRoZXJlZm9yZSBzYWRseSBkcml2ZW4gYnkpIGNpdGF0 aW9uIG1ldHJpY3MsIHRoaW5ncyBidWlsdCBpbiBhY2FkZW1pYyBzZXR0aW5n cyBoYXZlIHRvIGJlIGNpdGFibGUuIFRoZSBvbmx5IHdheSB0byBjaXRlIGEg c29mdHdhcmUgKGZvdW5kIHVwIHRvIG5vdykgaXMgdG8gY2l0ZSBpdHMgcmVm ZXJlbmNlIG1hbnVhbC4gVGhlIG9ubHkgd2F5IGEgcmVmZXJlbmNlIG1hbnVh bCBjYW4gYmUgYWRtaXNzaWJsZSBhcyBhIChjaXRhYmxlKSBwdWJsaWNhdGlv biBpcyBpZiwgb25jZSByZWxlYXNlZCwgaXQgaXMgbm90IGVkaXRhYmxlLg0K DQpCdXQsIGluZGVlZCwgaWYgaXQgaXMgbm90IGVkaXRhYmxlLCBpdCBpcyBu b3QgZnJlZSBhbnltb3JlLi4uIEhlcmUgaXMgd2hlcmUgd2UgYXJlIHN0dWNr IGFuZCBoYXZlIGJlZW4gZm9yIGEgbG9uZyB0aW1lIHdpdGggbm8gZXNjYXBl IChzbyBmYXIpLg0KDQpJIGFtIChhbmQgSSBrbm93IEknbSBub3QgdGhlIG9u bHkgb25lKSBzb3JyeSBhYm91dCB0aGF0Lg0KDQpQaWVycmUgQi4NCg0KWzFd IEkgZGlkbid0IG1hbmFnZSB0byBkaWcgb3V0IGxpbmtzIHRvIGZvcm1lciBk aXNjdXNzaW9uIG9uIHRoZSBzdWJqZWN0IGluIHRoZSB0aW1lIGZyYW1lIEkg YWxsb2NhdGVkIHRvIHRoaXMgcmVwbHkgYnV0IHRoZXkgYXJlIHNvbWUgYW5k IG1heWJlIHNvbWVvbmUgY2FuIGZpbmQgdGhlbSBlYXNpZXIgdGhhbiBJIGRv Lg0KDQo+IExlIDMgamFudi4gMjAxOCDDoCAxNjowOCwgUmljaGFyZCBXLk0u IEpvbmVzIDxyaWNoQGFubmV4aWEub3JnPiBhIMOpY3JpdCA6DQo+IA0KPiBI aSwgdGhpcyBidWcgd2FzIGZpbGVkOg0KPiANCj4gIGh0dHBzOi8vYnVnemls bGEucmVkaGF0LmNvbS9zaG93X2J1Zy5jZ2k/aWQ9MTUzMDY0Nw0KPiANCj4g SSBub3RpY2UgdGhhdCBGbG9yaWFuIGlzIGNvcnJlY3QgYW5kIGNvcGllcyBv ZiB0aGUgcmVmZXJlbmNlIG1hbnVhbCBkbw0KPiBpbmRlZWQgaGF2ZSBhIG5v bi1mcmVlIGxpY2Vuc2UgKHNwZWNpZmljYWxseSByZXN0cmljdGlvbnMgb24g bWFraW5nDQo+IGRlcml2YXRpdmUgd29ya3MpLg0KPiANCj4gSXMgdGhpcyBp bnRlbmRlZD8gIElmIHNvIHdlJ2xsIGhhdmUgdG8gZHJvcCB0aGlzIGRvY3Vt ZW50YXRpb24gZnJvbQ0KPiBGZWRvcmEgd2hpY2ggd291bGQgYmUgYSBzaGFt ZS4gIElmIG5vdCwgY291bGQgdGhlIHdvcmsgYmUgcmVsaWNlbnNlZA0KPiB1 bmRlciBhIHN1aXRhYmxlIGZyZWUgbGljZW5zZT8NCj4gDQo+IFJpY2guDQo+ IA0KPiAtLSANCj4gQ2FtbC1saXN0IG1haWxpbmcgbGlzdC4gIFN1YnNjcmlw dGlvbiBtYW5hZ2VtZW50IGFuZCBhcmNoaXZlczoNCj4gaHR0cHM6Ly9zeW1w YS5pbnJpYS5mci9zeW1wYS9hcmMvY2FtbC1saXN0DQo+IEJlZ2lubmVyJ3Mg bGlzdDogaHR0cDovL2dyb3Vwcy55YWhvby5jb20vZ3JvdXAvb2NhbWxfYmVn aW5uZXJzDQo+IEJ1ZyByZXBvcnRzOiBodHRwOi8vY2FtbC5pbnJpYS5mci9i aW4vY2FtbC1idWdzDQoNCg==