From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.27 via Mailbox Transport; Wed, 2 Aug 2023 08:39:57 +0100 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.27; Wed, 2 Aug 2023 08:39:56 +0100 Received: from exchange.romulus.metastack.com (172.16.0.21) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_0, cipher=TLS_RSA_WITH_AES_256_CBC_SHA) id 15.1.2507.27 via Frontend Transport; Wed, 2 Aug 2023 08:39:56 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 3727dFa3028461 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Wed, 2 Aug 2023 08:39:15 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 3727d8iT028447 for ; Wed, 2 Aug 2023 08:39:08 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Aug 2023 09:39:07 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 549FAE0141; Wed, 2 Aug 2023 09:39:07 +0200 (CEST) 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 6B965E0133 for ; Wed, 2 Aug 2023 09:39:02 +0200 (CEST) Received: from cadillac.paris.inria.fr (HELO [128.93.64.106]) ([128.93.64.106]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Aug 2023 09:39:02 +0200 From: Florian Angeletti To: caml-list Subject: [Caml-list] First release candidate for OCaml 5.1.0 Thread-Topic: [Caml-list] First release candidate for OCaml 5.1.0 Thread-Index: AQHZxRSIU4gqK0I7pUyD9KEuUXpwAQ== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Wed, 2 Aug 2023 08:39:02 +0100 Message-ID: <76ead9ad-28e4-c3a7-e567-ac8afe812c00@inria.fr> References: <1683360478.6348093.1681545181983.JavaMail.zimbra@inria.fr> <614877951.14559857.1685692007861.JavaMail.zimbra@inria.fr> <285796528.1775709.1688494250152.JavaMail.zimbra@inria.fr> Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: In-Reply-To: <285796528.1775709.1688494250152.JavaMail.zimbra@inria.fr> Reply-To: Florian Angeletti Content-Language: en-US X-MS-Exchange-Organization-AuthAs: Anonymous X-MS-Exchange-Organization-AuthSource: Hermes.metastack.local X-MS-Has-Attach: X-Auto-Response-Suppress: All X-MS-Exchange-Organization-Network-Message-Id: bbcd5a05-728b-47e1-e009-08db932bab44 X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: MIMEDefang 2.65 on 62.31.23.242 received-spf: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only x-ironport-av: E=Sophos;i="6.01,248,1684792800"; d="scan'208";a="119908253" x-loop: caml-list@inria.fr x-no-archive: yes Content-Type: text/plain; charset="utf-8" Content-ID: Content-Transfer-Encoding: base64 MIME-Version: 1.0 RGVhciBPQ2FtbCB1c2VycywNCg0KVGhlIHJlbGVhc2Ugb2YgT0NhbWwgNS4xLjAgaXMgaW1taW5l bnQuDQpBcyBhIGZpbmFsIHN0ZXAsIHdlIGFyZSBwdWJsaXNoaW5nIGEgcmVsZWFzZSBjYW5kaWRh dGUgdG8gY2hlY2sgdGhhdCANCmV2ZXJ5dGhpbmcgaXMgaW4gb3JkZXIgYmVmb3JlIHRoZSByZWxl YXNlIGluIHRoZSB1cGNvbWluZyB3ZWVrKHMpLg0KDQpJZiB5b3UgZmluZCBhbnkgYnVncywgcGxl YXNlIHJlcG9ydCB0aGVtIG9uIFtPQ2FtbCdzIGlzc3VlIA0KdHJhY2tlcl0oaHR0cHM6Ly9naXRo dWIuY29tL29jYW1sL29jYW1sL2lzc3VlcykuDQoNCkNvbXBhcmVkIHRvIHRoZSBiZXRhIHJlbGVh c2UsIHRoaXMgcmVsZWFzZSBjYW5kaWRhdGUgY29udGFpbnMgb25lIHNhZmUgDQpydW50aW1lIGZp eCwgYW5kIHR3byBjb25maWd1cmF0aW9uIHR3ZWFrcy4NCg0KVGhlIGZ1bGwgY2hhbmdlIGxvZyBm b3IgT0NhbWwgNS4xLjAgaXMgYXZhaWxhYmxlIFtvbiANCkdpdEh1Yl0oaHR0cHM6Ly9naXRodWIu Y29tL29jYW1sL29jYW1sL2Jsb2IvNS4xL0NoYW5nZXMpDQpBIHNob3J0IHN1bW1hcnkgb2YgdGhl IGNoYW5nZXMgc2luY2UgdGhlIGJldGEgcmVsZWFzZSBpcyBhbHNvIGF2YWlsYWJsZSANCmJlbG93 Lg0KDQpIYXBweSBoYWNraW5nLA0KRmxvcmlhbiBBbmdlbGV0dGkgZm9yIHRoZSBPQ2FtbCB0ZWFt Lg0KDQpJbnN0YWxsYXRpb24gSW5zdHJ1Y3Rpb25zDQotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLQ0KDQpUaGUgYmFzZSBjb21waWxlciBjYW4gYmUgaW5zdGFsbGVkIGFzIGFuIG9w YW0gc3dpdGNoIHdpdGggdGhlIGZvbGxvd2luZyANCmNvbW1hbmRzIG9uIG9wYW0gMi4xIGFuZCBs YXRlcjoNCg0KIMKgwqDCoCBvcGFtIHVwZGF0ZQ0KIMKgwqDCoCBvcGFtIHN3aXRjaCBjcmVhdGUg NS4xLjB+cmMxDQoNClRoZSBzb3VyY2UgY29kZSBmb3IgdGhlIHJlbGVhc2UgY2FuZGlkYXRlIGlz IGFsc28gZGlyZWN0bHkgYXZhaWxhYmxlIG9uOg0KDQoqIEdpdEh1YjogaHR0cHM6Ly9naXRodWIu Y29tL29jYW1sL29jYW1sL2FyY2hpdmUvNS4xLjAtcmMxLnRhci5neg0KKiBPQ2FtbCBhcmNoaXZl cyBhdCBJbnJpYTogDQpodHRwczovL2NhbWwuaW5yaWEuZnIvcHViL2Rpc3RyaWIvb2NhbWwtNS4x L29jYW1sLTUuMS4wfnJjMS50YXIuZ3oNCg0KIyMjIEZpbmUtVHVuZWQgQ29tcGlsZXIgQ29uZmln dXJhdGlvbg0KDQpJZiB5b3Ugd2FudCB0byB0d2VhayB0aGUgY29uZmlndXJhdGlvbiBvZiB0aGUg Y29tcGlsZXIsIHlvdSBjYW4gc3dpdGNoIA0KdG8gdGhlIG9wdGlvbiB2YXJpYW50IHdpdGg6DQoN CiDCoMKgwqAgb3BhbSB1cGRhdGUNCiDCoMKgwqAgb3BhbSBzd2l0Y2ggY3JlYXRlIDxzd2l0Y2hf bmFtZT4gb2NhbWwtdmFyaWFudHMuNS4xLjB+cmMxK29wdGlvbnMgDQo8b3B0aW9uX2xpc3Q+DQoN CndoZXJlIDxvcHRpb25fbGlzdD4gaXMgYSBjb21tYS1zZXBhcmF0ZWQgbGlzdCBvZiBgb2NhbWwt b3B0aW9uLSpgIA0KcGFja2FnZXMuIEZvciBpbnN0YW5jZSwgZm9yIGEgYGZsYW1iZGFgIGFuZCBg bm8tZmxhdC1mbG9hdC1hcnJheWAgc3dpdGNoOg0KDQogwqDCoMKgIG9wYW0gc3dpdGNoIGNyZWF0 ZSA1LjEuMH5yYzErZmxhbWJkYStuZmZhIA0Kb2NhbWwtdmFyaWFudHMuNS4xLjB+cmMxK29wdGlv bnMgb2NhbWwtb3B0aW9uLWZsYW1iZGEgDQpvY2FtbC1vcHRpb24tbm8tZmxhdC1mbG9hdC1hcnJh eQ0KDQpBbGwgYXZhaWxhYmxlIG9wdGlvbnMgY2FuIGJlIGxpc3RlZCB3aXRoIGBvcGFtIHNlYXJj aCBvY2FtbC1vcHRpb25gLg0KDQoNCkNoYW5nZXMgU2luY2UgdGhlIEJldGEgUmVsZWFzZQ0KLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0KDQojIyMgQnVnIEZp eA0KDQotICMxMjQ0NShodHRwczovL2dpdGh1Yi5jb20vb2NhbWwvb2NhbWwvaXNzdWVzLzEyNDQ1 KTogbWlzc2luZyBHQyByb290IA0KcmVnaXN0cmF0aW9ucyBpbiBydW50aW1lL2lvLmMNCiDCoCAo R2FicmllbCBTY2hlcmVyLCByZXZpZXcgYnkgWGF2aWVyIExlcm95IGFuZCBKZXJlbXkgWWFsbG9w KQ0KDQojIyMgQ29uZmlndXJhdGlvbiBGaXggKG9wZW5CU0QpDQoNCi0gIzEyMzcyKGh0dHBzOi8v Z2l0aHViLmNvbS9vY2FtbC9vY2FtbC9pc3N1ZXMvMTIzNzIpOiBQYXNzIG9wdGlvbiANCi1uby1l eGVjdXRlLW9ubHkgdG8gdGhlIGxpbmtlciBmb3IgT3BlbkJTRCA+PSA3LjMNCiDCoCBzbyB0aGF0 IGNvZGUgc2VjdGlvbnMgcmVtYWluIHJlYWRhYmxlLCBhcyBuZWVkZWQgZm9yIGNsb3N1cmUgbWFy c2hhbGluZy4NCiDCoCAoWGF2aWVyIExlcm95IGFuZCBBbmlsIE1hZGhhdmFwZWRkeSwgcmV2aWV3 IGJ5IEFuaWwgTWFkaGF2YXBlZGR5IGFuZA0KIMKgIFPDqWJhc3RpZW4gSGluZGVyZXIpDQoNCiMj IyBUb29sIEZpeCAob2NhbWxta3RvcCkNCg0KKiAjMTE3NDUsICMxMjM1OChodHRwczovL2dpdGh1 Yi5jb20vb2NhbWwvb2NhbWwvaXNzdWVzLzEyMzU4KTogRGVidWdnZXIgDQphbmQgdG9wbGV2ZWxz OiBlbWJlZCBwcmludGVyIHR5cGVzIHJhdGhlciB0aGFuDQogwqAgcmVhZGluZyB0aGVpciByZXBy ZXNlbnRhdGlvbnMgZnJvbSB0b3BkaXJzLmNtaSBhdCBydW50aW1lLg0KIMKgIFRoaXMgY2hhbmdl IGFsc28gcmVtb3ZlcyB0aGUgb2NhbWxta3RvcCBpbml0aWFsaXphdGlvbiBtb2R1bGUgaW50cm9k dWNlZA0KIMKgIGluIFsjMTEzODJdKGh0dHBzOi8vZ2l0aHViLmNvbS9vY2FtbC9vY2FtbC9pc3N1 ZXMvMTEzODIpIHdoaWNoIHdhcyBubyANCmxvbmdlciB1c2VmdWwuDQogwqAgVGhpcyBjaGFuZ2Ug YnJlYWtzIHRvcGxldmVsIHNjcmlwdHMgcmVseWluZyBvbiB0aGUgdmlzaWJpbGl0eSBvZiANCmBU b3BkaXJzYA0KIMKgIGluIHRoZSBpbml0aWFsIHRvcGxldmVsIGVudmlyb25tZW50IHdpdGhvdXQg bG9hZGluZyBgdG9wZmluZGAuDQogwqAgU2luY2UgdGhlIG9wYW0gZGVmYXVsdCBgLm9jYW1saW5p dGAgZmlsZSBsb2FkcyBgdG9wZmluZGAsIGl0IGlzIGV4cGVjdGVkDQogwqAgdGhhdCBvbmx5IHNj cmlwdHMgcnVuIHdpdGggYG9jYW1sIC1ub2luaXRgIGFyZSBhZmZlY3RlZC4NCiDCoCBGb3IgdGhv c2Ugc2NyaXB0cywgYWNjZXNzaW5nIGBUb3BkaXJzYCBub3cgcmVxdWlyZXMgdGhlIGBjb21waWxl ci1saWJzYA0KIMKgIGRpcmVjdG9yeSB0byBiZSBhZGRlZCB0byB0aGUgdG9wbGV2ZWwgc2VhcmNo IHBhdGggd2l0aA0KIMKgIGBgYA0KIMKgwqDCoCAjZGlyZWN0b3J5ICIrY29tcGlsZXItbGlicyI7 Ow0KIMKgIGBgYA0KIMKgYXMgd2FzIGFscmVhZHkgdGhlIGNhc2UgZm9yIHRoZSBvdGhlciBtb2R1 bGVzIGluIHRoZSB0b3BsZXZlbCBpbnRlcmZhY2UNCiDCoGxpYnJhcnkuDQogwqAoU8OpYmFzdGll biBIaW5kZXJlciwgcmV2aWV3IGJ5IEZsb3JpYW4gQW5nZWxldHRpLCBOaWNvbMOhcyBPamVkYSBC w6RyIGFuZA0KIMKgR2FicmllbCBTY2hlcmVyKQ0KDQojIyMgRG9jdW1lbnRhdGlvbiBDaGFuZ2Vz DQoNCi0gIzEyMjAxKGh0dHBzOi8vZ2l0aHViLmNvbS9vY2FtbC9vY2FtbC9pc3N1ZXMvMTIyMDEp OiBpbiB0aGUgdHV0b3JpYWwgDQpvbiBtb2R1bGVzLCByZXBsYWNlIHByaW9yaXR5IHF1ZXVlIGV4 YW1wbGUgYnkNCiDCoCBhIHNpbXBsZXIgZXhhbXBsZSBiYXNlZCBvbiBGSUZPIHF1ZXVlcy4NCiDC oCAoWGF2aWVyIExlcm95LCByZXZpZXcgYnkgQW5pbCBNYWRoYXZhcGVkZHkgYW5kIE5pY29sw6Fz IE9qZWRhIELDpHIpLg0KDQotICMxMjM1MihodHRwczovL2dpdGh1Yi5jb20vb2NhbWwvb2NhbWwv aXNzdWVzLzEyMzUyKTogRml4IGEgdHlwbyBpbiB0aGUgDQpkb2N1bWVudGF0aW9uIG9mIEFyZy53 cml0ZV9hcmcNCiDCoCAoQ2hyaXN0b3BoZSBSYWZmYWxsaSwgcmV2aWV3IGJ5IEZsb3JpYW4gQW5n ZWxldHRpKQ0KDQo=