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; Wed, 23 Aug 2023 16:40:03 +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.32; Wed, 23 Aug 2023 16:40:03 +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.32 via Frontend Transport; Wed, 23 Aug 2023 16:40:03 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 37NFdTK9007369 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Wed, 23 Aug 2023 16:39:29 +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 37NFdLt6007354 for ; Wed, 23 Aug 2023 16:39:22 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 23 Aug 2023 17:39:21 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 15580E0D5E; Wed, 23 Aug 2023 17:39:20 +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 21E16E0133 for ; Wed, 23 Aug 2023 17:39:11 +0200 (CEST) Received: from mail-ed1-f65.google.com ([209.85.208.65]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 23 Aug 2023 17:39:10 +0200 Received: by mail-ed1-f65.google.com with SMTP id 4fb4d7f45d1cf-5221bd8f62eso1683807a12.1 for ; Wed, 23 Aug 2023 08:39:10 -0700 (PDT) From: Erik Martin-Dorel To: "caml-list@inria.fr" Subject: [Caml-list] [ANN] Release of Learn-OCaml (ocaml-sf/learn-ocaml:0.15.0) Thread-Topic: [Caml-list] [ANN] Release of Learn-OCaml (ocaml-sf/learn-ocaml:0.15.0) Thread-Index: AQHZ1dgV3SMSzR4ugEySh0MtAZm3TA== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Wed, 23 Aug 2023 16:38:49 +0100 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: ec449840-8263-4bed-68d8-08dba3ef37c4 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:74d4:b0:9a1:eb67:c0d3 with SMTP id z20-20020a17090674d400b009a1eb67c0d3mr1021794ejl.4.1692805141411; Wed, 23 Aug 2023 08:39:01 -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.01,195,1684792800"; d="scan'208,217";a="122170785" 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: <521B643C2D9F8E4781818703B4CAF3E9@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5Pg0KPGRpdiBkaXI9Imx0 ciI+DQo8ZGl2IGNsYXNzPSJnbWFpbF9xdW90ZSI+DQo8ZGl2IGRpcj0ibHRyIj4NCjxkaXY+RGVh ciBsaXN0LDwvZGl2Pg0KPGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+RllJIHRoZSB2ZXJzaW9uIDAu MTUuMCBvZiA8c3Bhbj5MZWFybjwvc3Bhbj4tPHNwYW4+T0NhbWw8L3NwYW4+IGhhcyBqdXN0IGJl ZW4gcmVsZWFzZWQ6PC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj4tIG9uIEdpdEh1Yiwg d2l0aCB0aGUgY29ycmVzcG9uZGluZyByZWxlYXNlIGFzc2V0czo8L2Rpdj4NCiZuYnNwOyA8YSBo cmVmPSJodHRwczovL2dpdGh1Yi5jb20vb2NhbWwtc2YvbGVhcm4tb2NhbWwvcmVsZWFzZXMvdGFn L3YwLjE1LjAiPmh0dHBzOi8vZ2l0aHViLmNvbS9vY2FtbC1zZi9sZWFybi1vY2FtbC9yZWxlYXNl cy90YWcvdjAuMTUuMDwvYT48YnI+DQo8ZGl2Pi0gb24gRG9ja2VyIEh1Yjo8L2Rpdj4NCjxkaXY+ Jm5ic3A7IDxhIGhyZWY9Imh0dHBzOi8vaHViLmRvY2tlci5jb20vci9vY2FtbHNmL2xlYXJuLW9j YW1sIiB0YXJnZXQ9Il9ibGFuayI+aHR0cHM6Ly9odWIuZG9ja2VyLmNvbS9yL29jYW1sc2YvPHNw YW4+bGVhcm48L3NwYW4+LTxzcGFuPm9jYW1sPC9zcGFuPjwvYT48YnI+DQo8L2Rpdj4NCjxkaXY+ LSBhbmQgbW9yZSBkZXRhaWxzIGFyZSBhdmFpbGFibGUgaW4gdGhlIERpc2NvdXJzZSBwb3N0Ojwv ZGl2Pg0KPGRpdj4mbmJzcDsgPGEgaHJlZj0iaHR0cHM6Ly9kaXNjdXNzLm9jYW1sLm9yZy90L2Fu bi1yZWxlYXNlLW9mLW9jYW1sLXNmLWxlYXJuLW9jYW1sLTAtMTUtMC8xMjg5MiI+DQpodHRwczov L2Rpc2N1c3Mub2NhbWwub3JnL3QvYW5uLXJlbGVhc2Utb2Ytb2NhbWwtc2YtbGVhcm4tb2NhbWwt MC0xNS0wLzEyODkyPC9hPjwvZGl2Pg0KPGJyPg0KPGRpdj4NCjxkaXY+QmVzdCByZWdhcmRzLDwv ZGl2Pg0KPGRpdj5FcmlrIE1hcnRpbi1Eb3JlbCBmb3IgdGhlIExlYXJuLU9DYW1sIHRlYW08Zm9u dCBjb2xvcj0iIzg4ODg4OCI+PGJyPg0KPC9mb250PjwvZGl2Pg0KPGZvbnQgY29sb3I9IiM4ODg4 ODgiPg0KPGRpdj48YnI+DQotLSA8YnI+DQo8ZGl2IGRpcj0ibHRyIj4NCjxkaXYgZGlyPSJsdHIi Pg0KPGRpdj7DiXJpayBNYXJ0aW4tRG9yZWw8YnI+DQo8L2Rpdj4NCjxhIGhyZWY9Imh0dHA6Ly9l cmlrLm1hcnRpbi1kb3JlbC5vcmcvIiB0YXJnZXQ9Il9ibGFuayI+aHR0cDovL2VyaWsubWFydGlu LWRvcmVsLm9yZy88L2E+PC9kaXY+DQo8L2Rpdj4NCjwvZGl2Pg0KPC9mb250PjwvZGl2Pg0KPC9k aXY+DQo8L2Rpdj4NCjwvZGl2Pg0KPC9ib2R5Pg0KPC9odG1sPg0K