From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=nH0NHxNg; dkim=fail reason="signature verification failed" (2048-bit key; unprotected) header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256 header.s=20230601 header.b=jlWjlZQQ; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-ECDSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id 4AF9140016 for ; Wed, 7 May 2025 07:16:24 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:references:in-reply-to:from:date:message-id: to:subject:reply-to:sender:list-id:list-help: list-subscribe:list-unsubscribe:list-post:list-owner: list-archive; bh=oRuDbzzy6sDaPFYeba/aoKnfNa+Bmqz1muY/Y+Xc+I0=; b=nH0NHxNgcjI1p+IljJ9inQ985uH3qu6tzEn8JPhR/hX5Yf1JpjG8Kyje 92BblT2WnZuVPWZWLXA2dP2TFKva3ujqGJNEWJkp+jbYodXIRsX/ztAa1 WauEsFGAnqUn/1Qrje1ckhcEE3HfN4E5Rr8RwzPiu47f/MyP85Khye9Hs E=; Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr designates 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all" 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 Authentication-Results: mail2-relais-roc.national.inria.fr; spf=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@gmail.com X-IronPort-AV: E=Sophos;i="6.15,268,1739833200"; d="scan'208";a="221001407" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 May 2025 09:16:23 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id BA329E01A8; Wed, 7 May 2025 09:16:23 +0200 (CEST) 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 53354E0131 for ; Wed, 7 May 2025 09:16:15 +0200 (CEST) IronPort-SDR: 681b08be_fG/t6RW1TraGXPZqCkq2gCe6jc/hvNkJBnjekRaYhTkOB6J HcoerPIdJrpPOoeBhIo/jD0SK3Ab8VFfi4iyAHA== X-IPAS-Result: =?us-ascii?q?A0EsBQC3BxtogazdVdFagQmBU4JEgVc0BAtJhFWPUIIki?= =?us-ascii?q?3aHU4h2gxU+DwEDAQ1RBAEBAwSFAAKLSAIeBwEEMwYOAQIEAQEBAQMCAwEBA?= =?us-ascii?q?QEBARABAQUBAQECAQECBAYBAhABASIZBw47hXsNgluBLGECBQM7AQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBBQIsXwEBAQMSER0BGx4DD?= =?us-ascii?q?AYFCw0CAiYCAiEBEQEFARwGARIihQIVAQMxA6N4gQVCiz6BFQUCFoEBgg0G2?= =?us-ascii?q?l0KGSgNb4FiAgcUgQcuhHYpXIJVAYFtg34BO4NCeicbgg2BFTWCdT6IHoJpB?= =?us-ascii?q?IItgRaBRoELh1yIJ4I7iRMmCAEGFwMHBwkFBAkTBgUFAkIJBgUKEgMEAwQEA?= =?us-ascii?q?QILEwkDAwIOAggDAggGGQE/EgQTCg0LBwUfCggMEQooIgQOKwoBAgEpMQMxA?= =?us-ascii?q?QgGAgIEBAIEAgoCCQICBQcCEQMEAQEIAgIDKwMBAxkICQgCCwUUDQgDAwMCB?= =?us-ascii?q?goJAQoHCRABAgIQAwICAgIGBwoDAhMKBQYGAgoHDQsCEgIDCQYDBQoDBwQKD?= =?us-ascii?q?QIVAhUFHgIICQ4RAgUSAw4FAwICEQQCAwMFAwEHARUIEAICAgIFAgUYEQ0EA?= =?us-ascii?q?wMDAggBBBQGAwkIJRsJAQMBCQMCAwQIAwMDAgYVAgEHCAMDBgsICQYDAgcIG?= =?us-ascii?q?QMFBAMHBQshAgYDAgQFBAEFAhMNAgMZAgYDBhEJDQYIBwkDBwEBAQICAggBB?= =?us-ascii?q?gUSAgMEAgUEBAEBCAMDBAYCAQMCAgQJAQEBAgoCCAoBCRMEAwgDAwMDAwUCA?= =?us-ascii?q?goRBQUCAQUKEwwKBgMGAwQCAgIKAQcCAwMDBwELHAIBAwICBQICAQUDAgIGB?= =?us-ascii?q?AMCAQEJAgMCCAECAgECAgIEAQcBBAcGAQECBAICMgIBAwgGAQEOAgIEAgIBA?= =?us-ascii?q?gICBAIEAQIGCwQFDQEBAgECAgEBAQQBCAMBAQICAwMFAwUIDw0BARcLHQMEB?= =?us-ascii?q?QICAQEBAQISAgIBBwECAQEDGgIBAwMEAQsCAQEEHgQWAgICAgIEAwIDAgILE?= =?us-ascii?q?yUBAgMGEwIEAgECAgUFBQEDBBEQCQMCBQQCAgYCBA4CBwQCGgQCAgEDBAYDA?= =?us-ascii?q?QIIAgIHBAQGAwICAQICBxkCGQECAQECAgIEAgICCQoEBQQEBAMCAgIBDAMBA?= =?us-ascii?q?gMCAgICAQMCAgEBAwEFBg0CEgIBAw4IBAICBwICIQ8LAQIBAQYGAgMDAwoDA?= =?us-ascii?q?QoBAgEBAgYCAQISBQICAgQBAgIDBCUBAgECAQEBBQIBAgECBAIHAgECAgMIA?= =?us-ascii?q?QUCBgECAgkBAgECAgIBAgEBAgYCAREEAQICAgICAwEDBgICAgICAgkCAgICB?= =?us-ascii?q?QIFAwIDAQYCAgUCAwMCAgMEAwkDAwgDBgQCAwEBAQIBAgICAQIBAgUCAwkBA?= =?us-ascii?q?QMCAQICAgIDBgIFBQEDCwUEBwEBAgEDBQMDBAMGAQwEAwICBAICAgICAgQCA?= =?us-ascii?q?gEFAwMCAgUBBQMIAQIEAgEDAwMEBAMBAgIKBwUCBAEBAQECAQICCgMCBQEBA?= =?us-ascii?q?wMBEQMEAQYFBQYCBwkDAgIEAgMCBAMFBAQCBgMDAgICAQELAgIBAgIBAQMDB?= =?us-ascii?q?wYQAQICAgIBDwIDAwMDAw8GAwUJAQMHAQEBAQECFAMCAQQBBBEHBAIBAR4BF?= =?us-ascii?q?gIHAQQDJx4CAgIBBwECAgICAgIDAgIDAx8CCQMjDwMLCQgTPQELBzIENgEUF?= =?us-ascii?q?AcrIV+Vf84+aIM9hHCcdzODcAESplaZACKCNqZMESMSgUgkgVwzGggbFTsxg?= =?us-ascii?q?jZPAxkPkiHBBUYyPAIHCwEBAwmQRoFLAQE?= IronPort-PHdr: A9a23:q1gSzBz7yZ21hPDXCzLswFBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z xaZva0m1g+XB9yTwskHotSVmpijY1BI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDebRtEiCChbb9uI xm6swbcu8gIjYd/N6081gbHrnxUdutZwm9lOUidkxHg6Mmu4ZVt6T5Qu/Uv985BVaX1YaE1R qFGATolLm44+tTluQHMQgWT6HQcVH4WkgdTDAje8B76RJbxvTDkued7xSKXINf5TbEwWTSl8 qdrVBrlgzoJOjIl7G3ajNF7gaRGqxyjuhN/2ZbZb46bNPV8fq3Tc9AUS3dfUMlNTCFBHp+wY pETA+YdIepVrY/wrEYOoxukAgmsAfvixDtWiX/sw6I61uQgGhzE0wM6G9IOtHPUrM3oP6oVU eG61q3IzTHEb/NOwjr9543IfQogofGIR75/bc3RyUw2Gg7Dk16fppDrMSmP2eQRr2iU8fBgV eS3hmMjqAx8oTiiy9swh4XViYwY1FLJ+CZ3zYs1O9C2SFJ3bMKlHZZSqi2UOIV7T98jTmx0u ys216AKtYC1ciUX1JkqwQPUZf+fc4WQ/B7vSOKcLS17iX9lYr6zmQi+/VW6xuHhVMS4zlBHp Tdbn9nIq3ANzADT5dadSvVg/0eg2CiA2hjP5uxCPEs6j7DUK4Q7zb41jpcTsVrMHivxmEjui a+ZbEQk+uyx5+T5YbXqu4aQN4Fphgz8LKgigMO/AeM/MggBW2iU5/6w26Hk/U38WLlKj/s2n bfFsJ3CO8gXuqq0DxVW34sj8RqzESmq3MkCkXUaLl9JZgqLj43zNFHPJPD4A+2/g1OpkDpzx /HJJLnhApHKLnjbi7rhcrN95FRdyAo319xQ+5VUCrQZLPL1QUD+rMbYAQMhMwyo3+bnD81w2 p4GVWKVHqCZKL/SsUOP5u83P+aDfooVuDLkJ/gh5v7ulmM5lEQGfaip2JsXcGq3Eu5nI0Wfe 3rsg80OHX0EvgokH6TWjwilVTNcLyK1W68zzjY4DYOkS4DZSdbpyLeI2SP+GpxNekhHDEqNG DHmbdaqQfAJPQCfOMJkg3Q1XLylTJdpgQCnsAv905JoK+PV/msTspe1h4s93PHaiRxnrW88N M+ayWzYFwmc/0sNTj4yh+VkpFBlj0yEye5+iuBZEtpa47VIVB07PNjS1b8yEMj8DyTGeNrBU 1O6WpO+GzhkX9s1x9gWS0l4EtSmyBvE2nniGKcbwoSCH4d86afAxz70Lsd5xWzB0fwwhl0iR dNnOmivh6o5/A/WVMbSi0vMsaGseOwH2TLVsmeOyW3bpEZDTAt5SrnIR1gab0rS6Mr6vwbMF uD0T7sgNQRFxIiJLa4ihsTBq1JASb+jPd3fZzn0gGKsHVOTwavKaoP2emIb1SGbCU4ekglV8 2zUfQ45TjyspW7TFlkMXRrmfl/s/O9iqXi6Ul58zgeEaFdk3qa0/RhdjOKVSvca1LYJ8Ck7r DA8EFG41tPQQ92OwmgpNLRVZdc6+H9I0GvYs0p2OZnhZ6Fui1gCchhm6lv03kY/AYFBnM426 XIymVAqeOTIjRUbLWrehM+qadi1YiHo8RuiarDbwATb2deSoeIU7egg7k7kpEevH1Yj9HNu1 59U1WGd79PEFll3M9q5X0Ap+hx9v7yfbDM64taexHRoNa6smjDH0tMtQuAiz1zzGrUXeLPBD wL0H8AAUoK/IegunECBYRcNPeQU/6kxdZDuZ76N36ilO/xllTStgDFc4Yxz5UmL8jJ1Vu/C2 5ttL+iw5gKcTH+8iV6gtpuygoVYfXQJGXL5zyH4BYlXb6k0fIARCG7oLdfljtl5gpfsXTZf+ jvBTxsX0cutfgK6YFn03AkW3kMS6XCqgiq3yTVoniph9PLOmnyThb64LVxeZTQDTXIqlVr2J Imok90WOSrgJxMkkheo/weyxqRWorh+M3iGRE5JeybsKGQxGqC0t7eEf4tO8MZy6XQRALn6O wrDDOei+Uh/sWurBWZVyTEleiv/v5z4m0c/k2eBNDNoq2Kff8hsxBDZ7diaRPhL3zNASjMr7 FufTlW6IdSt+s2Z0pnZteXrHXOoUplUaQHkyIqBsG2w4mggUnjd17ij38bqFwQ3y3qxxtBuU SLQhBn5a4jvka+9NKg0NlktD1j65c1gH4h4mYZln5Ac108RgZCN9GYGm2P+YrA5keruKWAAT jkRz5vJ8RDojQd9e2mRyduzBT2Nh9FsbN6gbiYK1zIhuopUXbyM4uUh/2M9o0Lk/1mMJ6Esx nFHlaRosDlA36kIoFZ/kHnbWOtJWxAGZWq00E3Zp9Gm8PcJOiD2KeL2jAwm2or5adPK6gBEB CSnJNF4QX42vp05aBWWiDXy8t22J4OWNI5V70zO1U+H1rgdKYptxKVWw3M9ZCSl+yVikrBe7 1Qm3Inm7tHfeyM0o/3/UlgAcWesL8ILpmO00v0Yx5fKmdjpRtI4RH0KRMe6F6r5VmJP8629Z 0DWV2RjzxXTUbvHQV3FsRkg8iKJSsHxcSnQfShRzM0+FkPEegoF21FSB298xtlgR0i8zcjlO i+V/xg34Vj14ltJw+NsbFzkV3vH4RyvcnEyQYSeKxxf6kdD4V3UOIqQ9LA7GSYQ5ZCnoAGXT w7TLw1VEWEEXFCFDFH/L/Gv49fH6e2RGuu5KbPHf7yPreVUU/rAy4io18Nq+DOFN8PHOXcHb bVzwk1YQXVwANjUgR0KQi0T0jzONouV/UjmvCJwqc+7/bLgXweurYqDBr1OMMl+rhC7haDQU ozYzC19KDteytYN3SqSkOlZjANU0Xs3MWDyS+dl12aFVq/bl65JAgRObipyMJAN9KcgxkxWP tadjNrp17l+h/pzClFfVFWnlNv6AK5Ca2y7Kl7DA16GcbqcIjieidD+Zae7UZVfiexVs1u7v jPRQCqBdnyT0iLkURyiK7QGlCaAIBlXo52waD5oAGnnCczlM1i1aYAtyzIxxrIwizXBMmtWY l0eOwtd67aX6y1fmPB2HWdMu2FkIeezkCGc9+DEK5wSvJOD4wxxnuNepWo5kv5btX4eAvNyn yTWo5hlpFT0yoFnJRJoVRNPrnBAg4fZ5C2K3I3W85BBXTDP+xdftQ2t IronPort-Data: A9a23:ljPzpqKAxG6Z17o1FE+Rc5ElxSXFcZb7ZxGr2PjKsXjdYENS0mAOz jZKUWyHOK3fMzTxLoh2YIq/oBkGuZ7UyNdqSQod+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgb4s9JIGjhMsf/b9Usw5K2aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LuX2nNx/RKKGIPG7Y04tdlIXNk2 OUWJ2VYBvyDr7reLLOTT+BtgoE9L5CuMtpA4DdvyjbWCftgSpfGK0nIzYUAjXFg24YUR6+YP pVDAdZsREyojxlnK14TDJUmtOitj3j7NTZfrTp5oIJuujaLllQqjeaF3Nz9XNWEX+d4g1mk+ CHM/X7kWRcAc86n8G/Qmp6rrrSSxHukCdx6+KeD3vVjhVnWwm0IFDUNRF6jqL+4jFS/UpRRM SQpFjEGqKEz8Am1TYC4UUTn+jiLuRkTX9cWGOo/gO2Q9kbKyyqLJ2wFahpiUfodmNcHVxw4/ HKQkdy8UFSDr4apYX6a876Vqxa7Ni4UMXIOaEc4oe0ts4mLTGYb3kKnczpzLJNZmOEZDt0Z/ txnhC03hrFWk81SkqviogqBjDWrqZzECAUy4207v15JDCspOOZJhKTysTA3CMqsyq7EHzFtW 1Baw6CjABgmV83lqcB0aLxl8EuVz/iEKibAplVkAoMs8T+gk1b6ItwOvWwgfx84aJ5YEdMMX KM1kVMAjHO0FCv6BZKbn6rrWqzGMIC5RY28CamONrKinLAqJF7WrXEGibGsM5DFyxV1yf5uZ /93gO6jCnEVDakvzTy9AY8gPUwDl0gDKZfobcmjlXyPiOLADFbMEOttGAXUMogRsvjfyC2Lq Ik3Cid/408OOAEISnKPqdZLRb3LRFBnba3LRzt/KrXdcls/RDlxYxITqJt4E7FYc21uvr+g1 hmAtoVwkTITXFWecV7WOENwIqjiR4h+pn8dNCkhdwTgkXs6bIrlqO9Ve5IrdPN1vKZu3Nxlf ckjIs+gO/VoTiiY2jI/aZKmkpduWi72ji2zPg2kQgMFQbheeyLz9OXZIzTfrBs1MnLvtO8Vg aGR6QfAcJ9SGyVgFJn3bdys/XOQvF8cuuR4YGXQKPIOek+2qIlOAA7yh88RPMsjB0jixDyb9 gDOGjYeh7DHjLEU+enzp5KvjtmWAconOWFFDUz30K2QCRDK2kaCnapRT/eufx3GcWH/pZWZe uReys/jPM09nFplt5R2F5Bpx/kc4+TDiqB7zAN2OmfidHWuV61dJ0eZ0fl1tqFiwqFTvS20U Bmt/vhYIbC4B9P3ImUOJQYKbvWx6t9Mo2P8tc8KGUTd4DN72JGlUk8IZhmFt3F7HYtPaYggx b8shd4S5wmBkSEVC9ehjB1P1mGyP3cFArQGtJYbPdfRsTAV6Gp+OL7SNiynx6u0SYRoElIrK Tqqlqb9l+xi5k7dQUESS1nJ/8Rg3Korhj4b7WU/N2yom8XEjMAZxBd+0yo6ZSULwwRl09BcA HlKNUp0L5qg5z1D3ZJKTU2wKQNsXziYp0r7kQoPnkLkUnjyB3DsLXI8C8mJ7ks242JRRRkF3 bC6mULOcyfmQ9H15QQ2AXVakv3EScdj0yHzg+alFNShM7hjRhS9mY6oR24DiyW/MPMLnEed+ NVbprdhW5P0JQs7gvMdCbDD8Z8yVRrdBmhJYc85zZMzBWuGJQ2Dg2mfGXuQJPFICefBq3KjK spUIclKaRSy+QCOoh0fBo8OO7VEp+Eo1vVTZoLUIXM6jJXHogpLqJ7w8g3MtF0vSfhqkuc/L dr1XBCGGWqym3BVujHsqO9pB2mGWuQHNTbMhL2NzOY0Fpw4oL5Nd2M22eCKpHm7ClZs0C+Vm wLhXJXo6dJe575ipKbWKZUbNT6IcYvycM+q7DGMt89/aIKTEMXW6CIQhFrVHyVXGrozXd5Iu 6yHm4P11hmdvZIdcWPQq7+eHYZnuOSwW+t2NJrsDX94xCGtZu7l0yEhyUuZd6NbsYp6zda1Y ieFc+2MTM4xd/YB4WxKeg5cPg04Ca+qXpz/pCi4keuAOiId3SPDMtmj033jNkNfSQMlJLz8D R3Sqd+1x9UFsrlJOgAIN8tmD7B8PlXnf6ksLP/1lDuAC1iXkkGwgaTjmTUg+AP0JCG9Suii2 q38Rz/6aBiWk4PLxosAs4VN4zsmPEwkiuw0Jk8g69p6jg6hN1E/LMMfDI4nD69FmSmjxbD6Y zDwNFEZMxvfZggdUxvA44XEZDy9V9w+YoKzYnRj+k6PcC65Cb+RGLYrpG8q/35yfSCl1+29b 80X/nrrJBWq35V1XqAp6+emhft8jObvrp7SFZsRT+Spa/rfPVkL6JClNA9EVCiCDcKU0UuSe jJzSmdDT0W2D0X2FK6MvpKT9A4x5FvSI/cANE9jA+ozf62UyeRBzLv0POSbPngrcpERPLBXL Z/obzLl3o1Vs0D/fYMmvtsohel/Dvfj8g1W6kP8bVV6opxcIVjL8y/PceTjgS3iFMNi/4vhq wSR IronPort-HdrOrdr: A9a23:vABUKakQfU9r4z378J+x6fJqv/DpDfLo3DAbv31ZSRFFG/Fw9v re5sjzsCWftN9/YgBGpTntAtjlfZqYz+8R3WBzB8bAYOCFghrQEGgK1+KLqAEIWReOlNK1vp 0QC5SWZueAdmRSvILU5hKnG80szNTC3KejnvfG0nthJDsHV4hQqyl8TimWGlBrXwVdbKBJcq a0145oo36Pdx0sAPhTxUNrYwEAnbD2fV7dACLuziRG1DWz X-Talos-CUID: 9a23:+NT1AmHSuFQOWmwQqmJL5m8QG+QBUUT791vIEl2YG0xEUbOaHAo= X-Talos-MUID: =?us-ascii?q?9a23=3Aw1O3Zg53tQfSLR+tlD+3mojyxoxO6qq0Km0Qjql?= =?us-ascii?q?Y+MOGLzErPS3angyOF9o=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.15,268,1739833200"; d="scan'208";a="116020356" X-MGA-submission: =?us-ascii?q?MDG/6SV3fmQc9YKSULW9mmX+A+QEUT3ATF9ZeX?= =?us-ascii?q?knetq2sG7xnutj+t1GYp+wD6JZFOE6Yrm9Wodac0sp9wN3Scs+DTvzrP?= =?us-ascii?q?H6ZJYZgZZCFjXHP/MICImwJhx6GdXfuKg0dgWfQ7b35kpb29OBT1xlzu?= =?us-ascii?q?/u+PAA7wDzA8RDrG1Iq/o+bQ=3D=3D?= Received: from mail-vk1-f172.google.com ([209.85.221.172]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 07 May 2025 09:16:15 +0200 Received: by mail-vk1-f172.google.com with SMTP id 71dfb90a1353d-523f58d7322so273451e0c.1 for ; Wed, 07 May 2025 00:16:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1746602173; x=1747206973; darn=inria.fr; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :from:to:cc:subject:date:message-id:reply-to; bh=oRuDbzzy6sDaPFYeba/aoKnfNa+Bmqz1muY/Y+Xc+I0=; b=jlWjlZQQNi12lvVUk8+5dp4QcHsucQ+NosMNdHhBwvJRBtDkocHrkqH96OqmhbnOBC 0NxsadblOoAt575tzGfarIOOY/AGbbYPaym3cw322RdCZO4p0fXHetZ7ftLWXBV9A5a1 r3bjLcVTq2vEpLxnzQ4LaTFf2/xdj1th/+YcEbkweldsrnsNszqXKwtwB4OrFFcE3Lkd sB0AEjfOp8dzJZbC6jrRLuz34AtBVwuEoIicgsYNqOx+W2hxZHJbVco5UrY8QcsKuG0p 1asnJF4Hb7oUD5xkljFlHIP25O0h+cudLdjYLCEtT/b+JZwnv1P3Pcb8ZHtPNoY0dct4 5h7g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1746602173; x=1747206973; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=oRuDbzzy6sDaPFYeba/aoKnfNa+Bmqz1muY/Y+Xc+I0=; b=rEOyfciKTHtg62bNXQKfuN6jF2WoWON4DR1rBFLka89z4AbqXcDzZblbde8JLSOGWn 1mLLMv90xAJ+Y4R2c/tFj7vOKxg6Fep9ohf++YN0J4mEg/v7+7WPXmVYILRsGq/3mGsh PVjnAQVNa3HAxdLAPZdjJ6EymFMQDwkxbOMcXke/TOs1U+flXZ40719uQahc7mQH/g9a snexx6tlC6j5+EFsj/7R92sDRCQ/UiUEVUzssiXu+o82ucuK6tSmz7CW4Ti/Ky4fIkZO zP2QAJNGPWMtLVKhL6DeopgKzV8Vtr8MRUh6iZpXC8MlBufFDS8c2+X6slYCnxambLGf vxyA== X-Forwarded-Encrypted: i=1; AJvYcCWtFpkW0GljsHIPfDKqAUXjjiW0Am5b8iAIFeTj+nA+9HM0PrO+t+noxG4sMu3u6fwGxgOwVW+pXdE=@inria.fr X-Gm-Message-State: AOJu0Ywn9D2WWIdMmKflvgOIlNRr8pJXYyuSPv5vshl8jd2Tvd6bYnAU J5JpkEU5PqdcdklBR74UnA6g0KE/g20/6xCxDuDePR8ObxweVNgelhU7R/NBJ8x4VdKTqGWHCxr MQDtG+fBpW/1bqsiTxJNY8PcvnSE= X-Gm-Gg: ASbGncttJVs+uzNfCaR9hvaRJiT3GVM2mnHNMQu6Cj7beKGDY0x0ROPaTTcQMy/b8Fh VArJ8PcUgIQBjkfaR5hgLzcDtUT0pZHyxWCT5g4q2J5bos/Q8PLw9PNWsaDiXCfNz3gvk4YJXqq 1PSJBUZ3IuKdZ4TgOpHkKr X-Google-Smtp-Source: AGHT+IFhuFslTs/F4OxIsZeooZNbBZEIKVAsrF5bhy6PSg40BO6G3FpNMkO5547yS/XrDAaOsA7NG4p6htw75vMiiz4= X-Received: by 2002:a05:6122:6093:b0:520:4f41:b41a with SMTP id 71dfb90a1353d-52c37ab19camr620405e0c.3.1746602173010; Wed, 07 May 2025 00:16:13 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Jeremy Yallop Date: Wed, 7 May 2025 07:16:01 +0000 X-Gm-Features: ATxdqUEIlKfh5kct00viTrnrjFGbrz3BbNyhum08v-znGZsvmsZS1Ko3H7ZcObg Message-ID: To: Oleg , caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Subject: Re: [Caml-list] ANN: (BER) MetaOCaml N153, for OCaml 5.3.0 Reply-To: Jeremy Yallop X-Loop: caml-list@inria.fr X-Sequence: 19317 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: On Tue, 6 May 2025 at 06:50, Oleg wrote: > MetaOCaml N153 should be available through OPAM, hopefully soon. It's now available on OPAM: opam update opam switch create 5.3.0+BER