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.21 via Mailbox Transport; Fri, 24 Feb 2023 12:10:41 +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.21; Fri, 24 Feb 2023 12:10:40 +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.21 via Frontend Transport; Fri, 24 Feb 2023 12:10:40 +0000 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 31OC9tDb018223 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Fri, 24 Feb 2023 12:09:55 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 31OC9mC5018185 for ; Fri, 24 Feb 2023 12:09:48 GMT Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 Feb 2023 13:09:48 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 1BFFFE0161; Fri, 24 Feb 2023 13:09:47 +0100 (CET) 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 EC16AE0128 for ; Fri, 24 Feb 2023 13:09:38 +0100 (CET) Received: from mout.kundenserver.de ([212.227.17.24]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 24 Feb 2023 13:09:38 +0100 Received: from cyrus.sumadev.de ([85.183.69.161]) by mrelayeu.kundenserver.de (mreue106 [212.227.15.183]) with ESMTPSA (Nemesis) id 1MBDzc-1pM8yd0tos-00CisX; Fri, 24 Feb 2023 13:09:37 +0100 Received: from [192.168.5.126] (unknown [192.168.37.51]) by cyrus.sumadev.de (Postfix) with ESMTP id B5DB222C694C0; Fri, 24 Feb 2023 13:09:36 +0100 (CET) From: Gerd Stolpmann To: caml-list , "omake@ocaml.github.io" Subject: [Caml-list] [ANN] omake-0.10.6 Thread-Topic: [Caml-list] [ANN] omake-0.10.6 Thread-Index: AQHZSEkD1Xr3ni20dE69NL61Xdr7+A== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Fri, 24 Feb 2023 12:09:36 +0000 Message-ID: Keywords: Sent to dra-news@metastack.com,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: Gerd Stolpmann 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: 1936a02c-2afa-4afa-d83d-08db166025c0 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-provags-id: V03:K1:bdWkjfpSRveWCkOFD0P8K9YwMeLyLt+fHE0tJpWw5uG628BxIx7 2Iqv4Pjjqo4p1aDdXhc6lzxTlpxedc7EBCGyjnI+90e95o0KDZNlvwEPh2cMBmuuSAoMbk4 QFZ69wrW7xlfAw7kPk7p2Bp5YdlqOWFXdsm4+RzFSCbpPZk8y/MTDxvRXh99mU096grUORA Fu8sWkYOdWqjhFCkTKd+Q== x-ironport-av: E=Sophos;i="5.97,324,1669071600"; d="scan'208";a="94220875" x-spam-flag: NO x-ironport-anti-spam-filtered: true 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 SGVsbG8gZXZlcnlib2R5LA0KDQpJIGp1aXN0IHJlbGVhc2VkIG9tYWtlLTAuMTAuNiwgdGhlIGJ1 aWxkIHV0aWxpdHk6DQoNCiDCoC0gU3VwcG9ydCBmb3IgT0NhbWwtNQ0KDQogwqAtIEZpeCBhIHJl Z3Jlc3Npb246IG9tYWtlIGNhbiBiZSBidWlsdCB3aXRob3V0IG9jYW1sb3B0DQoNCkZvciBkb2Nz IGFuZCB0aGUgZG93bmxvYWQgbGluayBzZWUNCmh0dHA6Ly9wcm9qZWN0cy5jYW1sY2l0eS5vcmcv cHJvamVjdHMvb21ha2UuaHRtbC4gb3BhbSBpcyB1bmRlcndheS4NCg0KR2VyZA0KDQotLSANCi0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LQ0KR2VyZCBTdG9scG1hbm4sIERhcm1zdGFkdCwgR2VybWFueSAgICBnZXJkQGdlcmQtc3RvbHBt YW5uLmRlDQpNeSBPQ2FtbCBzaXRlOiAgICAgICAgICBodHRwOi8vd3d3LmNhbWxjaXR5Lm9yZw0K Q29udGFjdCBkZXRhaWxzOiAgICAgICAgaHR0cDovL3d3dy5jYW1sY2l0eS5vcmcvY29udGFjdC5o dG1sDQpDb21wYW55IGhvbWVwYWdlOiAgICAgICBodHRwOi8vd3d3LmdlcmQtc3RvbHBtYW5uLmRl DQotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0NCg0K