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.32 via Mailbox Transport; Fri, 3 Nov 2023 11:48:57 +0000 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.32; Fri, 3 Nov 2023 11:48:57 +0000 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.32 via Frontend Transport; Fri, 3 Nov 2023 11:48:57 +0000 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 3A3Bmq4Q014352 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Fri, 3 Nov 2023 11:48:52 GMT 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 3A3BmjRg014339 for ; Fri, 3 Nov 2023 11:48:45 GMT Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 03 Nov 2023 12:48:44 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 62483E0CD8; Fri, 3 Nov 2023 12:48:44 +0100 (CET) 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 A4FD9E00B6 for ; Fri, 3 Nov 2023 12:48:35 +0100 (CET) Received: from mail-ej1-f45.google.com ([209.85.218.45]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 03 Nov 2023 12:48:34 +0100 Received: by mail-ej1-f45.google.com with SMTP id a640c23a62f3a-9dd9808c308so3835566b.0 for ; Fri, 03 Nov 2023 04:48:34 -0700 (PDT) From: Erik Martin-Dorel To: "caml-list@inria.fr" Subject: [Caml-list] [ANN] Release of ocaml-sf/learn-ocaml:0.16.0 Thread-Topic: [Caml-list] [ANN] Release of ocaml-sf/learn-ocaml:0.16.0 Thread-Index: AQHaDku6/Z9eKBZXZES5CPPZZksReg== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Fri, 3 Nov 2023 11:48:21 +0000 Message-ID: Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: "erik.martin-dorel@ens-lyon.org" Content-Language: en-GB 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: 4b65b7c6-4cec-4e02-d944-08dbdc62dcc7 X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: MIMEDefang 2.65 on 62.31.23.242 x-received: by 2002:a17:906:c10c:b0:9c4:950:92b5 with SMTP id do12-20020a170906c10c00b009c4095092b5mr15812936ejc.6.1699012113334; Fri, 03 Nov 2023 04:48:33 -0700 (PDT) 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.03,273,1694728800"; d="scan'208,217";a="70441496" x-ironport-anti-spam-filtered: true x-loop: caml-list@inria.fr x-no-archive: yes Content-Type: text/html; charset="utf-8" Content-ID: <9B8EF7B437573A4EB0AB9CC8EEFB34D7@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5Pg0KPGRpdiBkaXI9Imx0 ciI+DQo8cHJlIGNsYXNzPSJnbWFpbC1ub3RyYW5zbGF0ZSI+PGNvZGU+RGVhciBsaXN0LA0KDQpG WUkgdGhlIHZlcnNpb24gMC4xNi4wIG9mIExlYXJuLU9DYW1sIGhhcyBqdXN0IGJlZW4gcmVsZWFz ZWQ6DQoNCi0gb24gR2l0SHViLCB3aXRoIHRoZSBjb3JyZXNwb25kaW5nIHJlbGVhc2UgYXNzZXRz Og0KICA8YSBocmVmPSJodHRwczovL2dpdGh1Yi5jb20vb2NhbWwtc2YvbGVhcm4tb2NhbWwvcmVs ZWFzZXMvdGFnL3YwLjE2LjAiPmh0dHBzOi8vZ2l0aHViLmNvbS9vY2FtbC1zZi9sZWFybi1vY2Ft bC9yZWxlYXNlcy90YWcvdjAuMTYuMDwvYT4NCi0gb24gRG9ja2VyIEh1YjoNCiAgPGEgaHJlZj0i aHR0cHM6Ly9odWIuZG9ja2VyLmNvbS9yL29jYW1sc2YvbGVhcm4tb2NhbWwiPmh0dHBzOi8vaHVi LmRvY2tlci5jb20vci9vY2FtbHNmL2xlYXJuLW9jYW1sPC9hPg0KLSBhbmQgbW9yZSBkZXRhaWxz IGFyZSBhdmFpbGFibGUgaW4gdGhlIERpc2NvdXJzZSBwb3N0Og0KICA8L2NvZGU+PGEgaHJlZj0i aHR0cHM6Ly9kaXNjdXNzLm9jYW1sLm9yZy90L2Fubi1yZWxlYXNlLW9mLW9jYW1sLXNmLWxlYXJu LW9jYW1sLTAtMTYtMC8xMzM2MSI+aHR0cHM6Ly9kaXNjdXNzLm9jYW1sLm9yZy90L2Fubi1yZWxl YXNlLW9mLW9jYW1sLXNmLWxlYXJuLW9jYW1sLTAtMTYtMC8xMzM2MTwvYT48Y29kZT4NCg0KQmVz dCByZWdhcmRzLA0KRXJpayBNYXJ0aW4tRG9yZWwgZm9yIHRoZSBMZWFybi1PQ2FtbCB0ZWFtPC9j b2RlPjwvcHJlPg0KPC9kaXY+DQo8L2JvZHk+DQo8L2h0bWw+DQo=