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.17 via Mailbox Transport; Wed, 18 Jan 2023 09:07:05 +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.17; Wed, 18 Jan 2023 09:07:05 +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.17 via Frontend Transport; Wed, 18 Jan 2023 09:07:05 +0000 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 30I96MnU018275 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Wed, 18 Jan 2023 09:06:22 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 30I96Flq018259 for ; Wed, 18 Jan 2023 09:06:15 GMT Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 Jan 2023 10:06:13 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 79941E0396; Wed, 18 Jan 2023 10:06:13 +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 74D1FE016E for ; Wed, 18 Jan 2023 10:06:07 +0100 (CET) Received: from mail-pg1-f180.google.com ([209.85.215.180]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 18 Jan 2023 10:05:50 +0100 Received: by mail-pg1-f180.google.com with SMTP id d10so23982167pgm.13 for ; Wed, 18 Jan 2023 01:05:50 -0800 (PST) Received: by 2002:a05:6a10:e186:b0:3b1:e93:39e7 with HTTP; Wed, 18 Jan 2023 01:05:48 -0800 (PST) From: Kakadu To: Nicolas Ratier CC: "caml-list@inria.fr" Subject: Re: [Caml-list] Algorithmic integration Thread-Topic: [Caml-list] Algorithmic integration Thread-Index: AQHZKr/Z9g8GvK95akeG8LJGUJELAq6j2LMAgAAJ6QA= Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Wed, 18 Jan 2023 09:05:48 +0000 Message-ID: References: <2e5878f2-6312-c310-c7e1-9914202fed96@femto-st.fr> Keywords: Sent to dra-news@metastack.com,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: In-Reply-To: <2e5878f2-6312-c310-c7e1-9914202fed96@femto-st.fr> Reply-To: Kakadu 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: 772adf31-0656-43d9-5bcf-08daf9335edf 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:aa7:96b6:0:b0:58b:c9fc:b590 with SMTP id g22-20020aa796b6000000b0058bc9fcb590mr516933pfk.9.1674032749322; Wed, 18 Jan 2023 01:05:49 -0800 (PST) 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.97,224,1669071600"; d="scan'208";a="88195217" 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: <75EA02DDCD64C346A15C1A7836BAFDB8@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 PiBUaGUgZ2VuZXJhbCBpbnRlZ3JhdGlvbiBhbGdvcml0aG0gaGFzIG5ldmVyIGJlZW4gaW1wbGVt ZW50ZWQuDQoNCkl0IHNlZW1zIHRoYXQgdGhlIHByb2JsZW0gaXMgdW5kZWNpZGFibGUgaW4gZ2Vu ZXJhbCwgYnV0IG1heWJlDQpzb21lYm9keSBoYXZlIGFscmVhZHkgaW1wbGVtZW50ZWQgUmlzY2gg YWxnb3JpdG0gaW4gT0NhbWw/DQoNCkhhcHB5IGhhY2tpbmcsDQpEbWl0cmlpDQoNCk9uIDEvMTgv MjMsIE5pY29sYXMgUmF0aWVyIDxuaWNvbGFzLnJhdGllckBmZW10by1zdC5mcj4gd3JvdGU6DQo+ IExlIDE3LzAxLzIwMjMgw6AgMjM6MDQsIEtlbm5ldGggQWRhbSBNaWxsZXIgYSDDqWNyaXQgOg0K Pj4gRG9lcyBhbnlib2R5IGtub3cgaG93IEkgY291bGQgZG8gc3ltYm9saWMgaW50ZWdyYXRpb24g d2l0aCBPQ2FtbD8gSQ0KPj4gc2VlIHRoZSBvd2wgcGFja2FnZSwgYnV0IGl0IGFwcGVhcnMgdGhh dCBpdCBvbmx5IGhhcyBkaWZmZXJlbnRpYXRpb24uDQo+PiBJcyB0aGVyZSBhbnkgd2F5IEkgY291 bGQgaW1wbGVtZW50IGludGVncmF0aW9uIHdpdGggdGhpcyBzYW1lIGxpYnJhcnk/DQo+DQo+IEhl bGxvLA0KPg0KPiBTeW1ib2xpYyBpbnRlZ3JhdGlvbiBpcyBhIHByb2Zlc3Npb24gaW4gaXRzIG93 biByaWdodCEhISBUaGUgZGVyaXZhdGlvbg0KPiBpcyB0cml2aWFsLlRoZSBnZW5lcmFsIGludGVn cmF0aW9uIGFsZ29yaXRobSBoYXMgbmV2ZXIgYmVlbiBpbXBsZW1lbnRlZC4NCj4gRXhjZXB0IG1h eWJlIGluIEF4aW9tIGJ5IE1hbnVlbCBCcm9uc3RlaW4gKGhlIGRpZWQgdG9vIHlvdW5nIGluIDIw MDUpLg0KPiBIZSBnaXZlcyBhIGZhbnRhc3RpYyA5NS1saW5lcyBpbnRlZ3JhdGlvbiBwcm9ncmFt IGluIE1hcGxlIGhlcmU6DQo+DQo+IGh0dHA6Ly93d3ctc29wLmlucmlhLmZyL2NhZmUvTWFudWVs LkJyb25zdGVpbi9wbWludC8NCj4NCj4gTmljb2xhcw0KPg0KPg0K