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.23 via Mailbox Transport; Tue, 16 May 2023 12:49:06 +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.23; Tue, 16 May 2023 12:49:06 +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.23 via Frontend Transport; Tue, 16 May 2023 12:49:06 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 34GBmL5N013851 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 16 May 2023 12:48:21 +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 34GBmERI013833 for ; Tue, 16 May 2023 12:48:14 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 May 2023 13:48:13 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 790EDE0E32; Tue, 16 May 2023 13:48:13 +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 54B5EE00A8 for ; Tue, 16 May 2023 13:48:08 +0200 (CEST) Received: from wifi-pro-82-228.paris.inria.fr ([128.93.82.228]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 16 May 2023 13:48:08 +0200 From: =?utf-8?B?RnJhbsOnb2lzIFBvdHRpZXI=?= To: OCaML Mailing List Subject: [Caml-list] [ANN] New release of Fix (20230505) Thread-Topic: [Caml-list] [ANN] New release of Fix (20230505) Thread-Index: AQHZh+xrIx1+idyVUk+w/45H2uJHrw== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Tue, 16 May 2023 12:48:08 +0100 Message-ID: <1d2c1f74-3fb3-3add-2b2a-ac151876a17f@inria.fr> Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: =?utf-8?B?RnJhbsOnb2lzIFBvdHRpZXI=?= Content-Language: fr 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: 443c1389-f64b-43f4-4588-08db56038dca 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="5.99,278,1677538800"; d="scan'208";a="108268905" x-loop: caml-list@inria.fr x-no-archive: yes Content-Type: text/plain; charset="utf-8" Content-ID: <1CB01DC540663E4D955DDC169F3BCA2E@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 DQpEZWFyIE9DYW1sIHVzZXJzLA0KDQpGcsOpZMOpcmljIEJvdXIgYW5kIEkgYXJlIHBsZWFzZWQg dG8gYW5ub3VuY2UgYSBuZXcgcmVsZWFzZSBvZiBGaXguDQoNCkluIHNob3J0LCBGaXggaXMgYSB0 b29sa2l0IHRoYXQgaGVscHMgcGVyZm9ybSBtZW1vaXphdGlvbiBhbmQgZml4ZWQgcG9pbnQNCmNv bXB1dGF0aW9ucyAoaW5jbHVkaW5nIGRhdGEgZmxvdyBhbmFseXNlcykuIE1vcmUgZ2VuZXJhbGx5 LCBpdCBvZmZlcnMgYQ0KbnVtYmVyIG9mIGJhc2ljIGFsZ29yaXRobWljIGJ1aWxkaW5nIGJsb2Nr cyB0aGF0IGNhbiBiZSB1c2VmdWwgaW4gbWFueQ0KY2lyY3Vtc3RhbmNlcy4NCg0KSW4gdGhpcyBy ZWxlYXNlLCB0d28gbmV3IG1vZHVsZXMgaGF2ZSBiZWVuIGFkZGVkOg0KDQogICAqIEZpeC5NaW5p bWl6ZSBvZmZlcnMgYSBtaW5pbWl6YXRpb24gYWxnb3JpdGhtIGZvciBkZXRlcm1pbmlzdGljIGZp bml0ZQ0KICAgICBhdXRvbWF0YSAoREZBcykuIEl0IGlzIGJhc2VkIG9uIEFudHRpIFZhbG1hcmkn cyAyMDEyIHBhcGVyLCAiRmFzdCBicmllZg0KICAgICBwcmFjdGljYWwgREZBIG1pbmltaXphdGlv biIuDQoNCiAgICogRml4LlBhcnRpdGlvbiBvZmZlcnMgYSBwYXJ0aXRpb24gcmVmaW5lbWVudCBk YXRhIHN0cnVjdHVyZSwgd2hpY2ggDQppcyB1c2VkDQogICAgIGJ5IHRoZSBtaW5pbWl6YXRpb24g YWxnb3JpdGhtLCBhbmQgY291bGQgYmUgdXNlZnVsIGluIG90aGVyIGFsZ29yaXRobXMuDQoNClRo ZXJlIGFyZSBvdGhlciBtaW5vciBjaGFuZ2VzOg0KDQogICBodHRwczovL2dpdGxhYi5pbnJpYS5m ci9mcG90dGllci9maXgvLS9ibG9iL21hc3Rlci9DSEFOR0VTLm1kDQoNClRoZSBsaWJyYXJ5IGNh biBiZSBpbnN0YWxsZWQgYXMgZm9sbG93czoNCg0KICAgb3BhbSB1cGRhdGUNCiAgIG9wYW0gaW5z dGFsbCBmaXguMjAyMzA1MDUNCg0KRG9jdW1lbnRhdGlvbiBpcyBhdmFpbGFibGUgb25saW5lOg0K DQogICBodHRwOi8vY2FtYml1bS5pbnJpYS5mci9+ZnBvdHRpZXIvZml4L2RvYy9maXgvDQoNCi0t DQpGcmFuw6dvaXMgUG90dGllcg0KZnJhbmNvaXMucG90dGllckBpbnJpYS5mcg0KaHR0cDovL2Nh bWJpdW0uaW5yaWEuZnIvfmZwb3R0aWVyLw0K