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=foGXD8uV; dkim=fail reason="signature verification failed" (2048-bit key; unprotected) header.d=mehnert.org header.i=@mehnert.org header.a=rsa-sha256 header.s=mail header.b=fNT4KVWY; 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 77C75401BB for ; Wed, 19 Feb 2025 12:03:34 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:to:from: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=RCtsMMEzfQTubSpnTGPAR31XmByvgxCFOd8Rib/dm6U=; b=foGXD8uVwQNA5wop25aEfQYHjCRcbzap7rn7YlQOg4QGNkaX+1GJL3eD sS55BtcsSOyWIJqyi95RtnSOnSWoPPYpqJoB2uUj3PrtTnp8oRW5+fcB1 llrFVgWRhiWK2RlyZE7mQcJsAFIvQ3XPMFtVp+h27fSDOGipdUN8qA+gx 8=; 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=@mehnert.org X-IronPort-AV: E=Sophos;i="6.13,298,1732575600"; d="scan'208";a="208996284" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 Feb 2025 13:03:34 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 61809E0D20; Wed, 19 Feb 2025 13:03:33 +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 C1434E0260 for ; Wed, 19 Feb 2025 13:03:28 +0100 (CET) IronPort-SDR: 67b5c890_Mi5orGnb9Y6oZH2Z+8KIVir/ELJfVXiajTdPNM/Jf4lV3qe 4Cy5iV7GiMCzV2meNd16BVOpO/hw2DoDJNe/NZw== X-IPAS-Result: =?us-ascii?q?A0H3CwAOyLVn/8hZSdVagQmEFwd2WjMEC0iEVoNPjACBd?= =?us-ascii?q?C2EPpltgWoPAQMBDTUPBAEBAwEDkA8CHgcBBDQTAQIEAQEBAQMCAwEBAQEBA?= =?us-ascii?q?RABAQUBAQECAQECBAYBAoEKE4V7DYJbO4IWLA2BJxUIAQE4NAImAnMBAYJ+A?= =?us-ascii?q?YJkB7BUgTKBAYIMAQEGgQiBYdk3gWUDBoEaLoVsgmMBhWuFHhs/gU6BPIdKg?= =?us-ascii?q?QeDDoJpghwXhS6LAZtAgU0cA1ksAVUTFwsHBWGBEAOBD4FGQzeCR2lJOgINA?= =?us-ascii?q?jWCHnyCK2oEBYNlhEOETYVYghKCCIIyhxCBaR1AAgELbT03CQsbBj2gJj2Fa?= =?us-ascii?q?SJvTlykYqFvhCWBY4o1lTQGEy+BS4I4jQaGSAYykkmYfY4FmyuBfiaBWTMaC?= =?us-ascii?q?CgIgyJPAxkPly6/KkI1PAIHCwEBAwmQLoFLAQE?= IronPort-PHdr: A9a23:4g4rdRGyjZD5kL8p8P3Z2J1Gf+FHhN3EVzX9CrIZgr5DOp6u447ld BSGo6k21hmRBc6Ft6saw8Pt8IneGkU4oqy9+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiTSjbb9oM Bm6sQrdu8gZjId/K6s61wfErGZPd+lKymxkIk6ekQz76sms4pBo7j5eu+gm985OUKX6e7o3Q LlFBzk4MG47+dPmuwDbQQSA+nUTXGMWkgFVAwfe9xH1Qo3xsirhueVj3iSRIND7Qqo1WTSm6 KdrVQPohSIaPDM37G3blsp9h79drRm8pRJw3pTUbZmWOvRwcazSc80US2pcUMlNWCJMGZ+8Y okVAuYdIepUsYvwql0TphW+HwmsA+bvxydKiHDs26061fouERrb1wInAd0OsHLUo8vvNKcOT Ou4y6nIwi/Fb/NQxzj985PFchU/rvGMW7J/b9DRyVU1GwPClFWQppXoMjWI3esCr2aV9fBvV f6zi2E5sQFxpCCiy8kth4fHhY8Yyk7J+Ct3zYs0IdC1R1B3bNy5HZVeuS+XNJd7Tt0/T212t is3yqMLt560cSQWx5kpxxzSZvOHfoWO/xntWuGRITJii3JkfrKynxOy8Um6yuLmWcm7zlFKr jFfntnLrHAN2Bre4dWERPtl5kqtxyuD2g7J5uxGL004j6nWJpo7zrIuipYfrVzPEyvolEnsk aOaa0Qp9vK15+njbLjqvIKQO5N6hwz4L68jhMi/AfkjMggSQWeb4/my1Lzi/ELnWLhGkvs7m bTDvp/AP8QUvKu5DhdV0ok97xa/CC+r0NECknkGKFJJYheHgJbpO1HIPv/4F+u/j06rkDdxy PDKJrzhApPTIXjfiLrtY6tx5kBGxAcxw91T/ZFZB7UbLP7tRkP9qMTUDhojPAy1x+bnBs991 oQbWW+XAq+WKqXSsVmW6eI0OOSMYZEauDb7K/c7/f7ukWU1mVgHfammxZcXbmu3Eex8I0qFe XrsnssBEWASswYjVODqkkGNUSZPZ3auWKIx/i00B5ijDYfHX4ythL2B3DynHpBNfWBHClWME W/yeImeWvcMbjiSIs57nTAeW7ihUdxp6Rb7vwb/z/9jL/HI0iwer5PqktZvtMPJkhRn1TVyC cmGm0SAT2d5hH9AEz8/2qZyumR4x1eF3LJkxftCGooAtLtyTg4mOMuEnKRBANfoV1eZFj/oY FOvQ9H8RCo0Usp02dgFJUB0B9SliBnHmSusGb4c0bKRV9Qv6qyJ+X/3Ko5mzmrekrE7hgwmS 81JOHaOg6N/8QXJG8jOiUrK372ye/Ek1TXWvHyG0XLIuUhZVABqVqCQXXkZYEbNhdH05kXPV aPoDq4oYUNa0cDXDKxMZ5XyiEleAvfuPNOLe2Wqh2K5HgqF3JuJZYvuPWAQ3CPQElRClBocl ZqfHS45ACrp42fXDTg0UEnqf1up6+517nWyUk4zyQiOKUxnzbu8vBAP17SaTLsI07QItT1Ey X08FUuh39/QF9uLphZwNKRab9Qn5V5b1GXf/wVjN52kJqpmixYQaQNy90/p0hx2DM1Hn61I5 DsqxQx0JLmw1V5BcT6Cwdb3ILKWYmj+8RazarLHj0nE2YXe8aMO5fIk7lT76VvwTQx9qDM3g p8PiyPPg/eCRBAfWp/wTEstoh1zprWAJzI4+5uRz3pnd6+9rj7F3dstQuoj0BepOdlFY8bmX Ef/FdMXA8+2JakkgV+sO1gENeZU+bUcOs6mcfacxOisJukqz1fExSxXpZtw1E6B7X82SufO2 Zse6/SV3g2KTSu6i02u+JO/icVPYjccGXC6wC7vCdtKZ6F8So0MDH+nP8y9wtgWa4fFY3dD7 xbjAloH3JXsYh+Odxnn2gYW000LoHuhkC/+zjpukjhvoLDNlCDJxu3jclIANAspDCFihFHqL JOcit0aWkWyc04ujhTt6UvhxqddrbhyNCGJGBwOIHOwfzAkCPPo/rOZK9ZC8pYprTlaXIHeK RiBR7jxrgFbmyLvEm1CxSwqIjSju5H3hRt/2yqWKHd+qmaceNkln06EooOHA64AmGBeHHod6 3GfHFW3Mti38M/Bkp7Ctrr7TGe9TthJdiKty4qctSy97GksABulnvn1lMe0dGpymSL9ydRuU j3F6RjmZYy+naSzN+RqZWFtCV/65tBmXIZkncFj4fNYkWhfnZiT8XcdxC3zONNd1LnWaXcNQ zMR35jS+geviwVza3mOwYz+THCUxMBsMsK7bm0h0SU498lWCa2Q4e8h/2M9sh+ioAnWe/Q4g iYFxK5k9isBm+9Q8lll3mCHD7sVB0UdISH8i0HC8YWltKsOLGO/FNr4nEMsmNmgCPeC+RgaU 3H8MtIrGSs6hilmGHTL1nC7qoTted2KKMkWqgXRiRDLye5cNJM2kPMOwythI2P0+3M/maY9i lR10Je2sZLiSS0l9b+lAhNeKjz+Zt8CsjDrg6FEm8+K3oepVpx/EzQPVZHsQLqmCjUX/fjgM g+PFnU7pBL5UfLHGhSD7U59s3/VO5WiNnXRIXQZy9h4WF+aPkMeyAEYUTMmn4IoQwCnwMuyF SUxrjsV51P+tl5N0rcybkK5DTyZ9FbuMG9sG/39ZFJM4wpP5lnYK5mb5+N3RWRD+4G56RaKI SqdbhhJCmcAXgqFAUriN/+g/4qlkaDQC+ygIv/JebjLp/ZZUqLCxZup1IZ91zOBNsOCJGUkC Oc0kBkmPzgxC4HCljMDRjZC3TrKdNKerQyg9zdfq8m+9LLuVQLp6JGTTbxIPp88nnL+ybfGP OmWiiFjLD9e3Z5Z3n7Exo8U21sKgj1vfT2geVzlnSvATKTdgLMRCAQUOXsb3Cpg6qs92k9IN M7dh8npkLligaxtY7+qfVnsmsekf9BMJHuyZgqvOQ== IronPort-Data: A9a23:Vm5vDqt6QiLiFWezii3A5U/TPufnVGRaMUV32f8akzHdYApBsoF/q tZmKWGDOfeDZmDwKIgjOYnkoEsAup7czNNiQFNpryg1FHkUgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCYEidfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbCRNsMpvlDs15K6v4GlB7wRlDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJG82FKMl/MB8PUNHp d8VKWA0YC2J2P3jldpXSsE07igiBMziPYdZv3xgyzzDEbAhW5+rr6fiv4YDmmhrwJAfW6yGP 6L1ahI3BPjESx1GPFEaE7o7keeui2PjNTpCpzp5oIJtuziCnVIrjOeF3Nz9ZuKKaZxIgn2h5 UmF+nulXg41N5ui1m/Qmp6rrrSTwnihAd16+KeD3vVjhVnWwm0IFDUNRF6jqL+4jFS/UpRRM SQpFjEGqKEz8AquQ9n7Ugek5nmesXbwRua8DcUU6Cij96zy6Dq7DzgnQz8RUdIbvpApEGlCO kCyo/vlAjlmsbuwQH2b96uJoT7aBcTyBTZSDRLoXTc4D8/fTJYboj+nczqOOKu8j9mzHDzwx T2QsG45nbp7YS83O0eTpgCvb9GE/MahousJCuL/BzLN0++BTNT7D7FEEHCChRuARa7AJrV7g FAKmtKF8McFBoyXmSqGTY0lRe7ytqfda2CH3Q81T/HNEghBHVb+Jui8Bxkjfi9U3josIGKBj LL7418Mu8E70IWCMP8nC25ONyja5fO8So+/D6+8gitmeZ54ehLP8yx1aEqUxGvtmUYw2a8iN I3TcMCwAGwTCrhm0jf+QeoBw6Am3CMzjWbZRfjGI+ePj9Kjib/8YeltDWZimchgsv7U/lqOo okPXyZIoj0GONDDjuDs2dZ7BTg3wbITXPgacuQGKbbRERksA2w7Ff7azJUofoEvzewflf7F8 jv5EgVUwUb2zy+PYwibSGFRWJW2V7ZGrFU/IXMNO3Ss0CMdeoqB1voUWKY2WrgFz9Zd68BIY cMLQOi6OcQXeA/7o2wcSbLfsL1dcA+agFPSHii9Pxk6UZ1SZy3I3d7GYjnQ9DQ8Pgjvkc5vs o+x9xj6RKAbTF9IF/fma/OIznKws0MCmel0YVD6H9lLdGjo86loMybUjMJrE/oTKB7G+CSW5 zyWDTgcu+PJhY0/q/vNuoypsKarFLFYMndBPmyG84uzCzbWzlCjzaBETuyMWzLXD0Hw2ae6Y NRq3+POC+IGkHlKorhDPe5Sl4xm3OTWpphe0ghAN1fIZQ7yCrpff1+37fMWvahJnrJkqQ+6X 3yUweZjOJKLBdjEFWAALw90f8WB0vApwgPp18oXG3mjxiFL/+uga35wbj2sky1WKYVnPLw1m dkBvNEk0C3hqx4IHOvfsAVq2TWtFEEQa4QmqZAQP6HzgCUJ1FxpQMLRGw320r61evRONUggH RGMjoGfm4ZjxlfwQ1hrMX2czNhMpI8vvSpSxwQoPGW5mdvih9420iZO8D8xcB9n8xVf3893O UlpL0dQN4zX2xtJ3e9tB3uNHSNFDz2non3B8UMDzjDlfhP5R17zI30YEsfT2kIgqkZ3XCVRp ZOcw0bbCQfaRtn7hHYOaBQ0us7YbIJD8yPZk5qaBOWDJZ4xZATljoKIZWYlrxjGA9s7tHbYp NtFrfpBVqnmCRE++6ELKZGW9bA1eiC2IGZvRfJA/qRQOUr+fDq0+yaFKmHvW8drCsHJz3SFC J1VFpoSbyi96SeAlSBEJKguJ7QvouUlyuBfcZzWJEkHkYClkBxXjLzq+BLD2VAbG+dVrZ5lK 6f6VS6zLWiLtH4Fx07PtJZlP0S7U/klZSr9/vyHz+UUJaIh6MVpIFAAw5qvnnCvKAA81Qmlj ADCQK73zuJZ1oVnmbX3IJhDHwmZLdDSVvyC1QKO7+R1ctLENPnRuzMvqlXIOxpcOZ0TUY9Vk YuhncHW3kSfmpoLSEHcxoe8EpdW6fWIXOZ4Ntz9KF9Yl3CgXO7u+x4yxHCqG6dWkd9y5tiVe CXgUZGeLeUqYtZ6wGFZTwN8EBxHUqT+UfrGlBOH9v+JDkAQ7BzDINaZ7kTWVGB8dBITGpjAG wTx6ueP5NdZkdx2PyU6JcpaWr12HFyyfpEdVYzBhWHNRC3gyFaPoaDrmhcc+CnGQCvMWtrz5 ZXeAAPyblKusaXP18tUqJF2ogZRNntmnO0sZQgIzraaUdxh4LIudozx8KnqC624VgT33ZD8I jTAbG0vEzm7Wi5LGfk5DBIPQS/HbtHi+P+gTtDqw69QQyK7BIWNGqcn8T1vi5uzUiW21/mpc Lny5VWpViVcAfhVqSI74/G7h+p92rXd3H1gFYURVSDtK052PIjmH0CN0OaAueIr3i0NeIj2y bAJeF15 IronPort-HdrOrdr: A9a23:WSDCFqD12H3SS4flHemq55DYdb4zR+YMi2QD/1xtTxZPYtWE/v re+cjzpiWVtN93YgBGpTngAtjlfZq4z/RICOYqUYtKMDOW21dAT7sM0WKB+VDd8kTFn4Y36U 4KSdkdNDSfNzlHZIrBjjWFLw== X-Talos-CUID: 9a23:dBBqOm4IS+HCTD4z0tss2k49NP0jVHbh7n6AAEK5WV9ndbfKVgrF X-Talos-MUID: =?us-ascii?q?9a23=3ARpx0cA0ew0FGx4ZHD5YE5++ktDUj/5quJBkQja4?= =?us-ascii?q?/+OLHMDMsZyiyj3OKXdpy?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.13,298,1732575600"; d="scan'208";a="208996247" X-MGA-submission: =?us-ascii?q?MDF21tpJuhdOe8xs2QUY9NIPmn1XFSdQJ0GUn6?= =?us-ascii?q?eI+gkbKN9Ph5eT37Lqtrj88F+jEyu8zF9ageUGvxGm/IaQafLR1AA7c9?= =?us-ascii?q?GX8J5yzEg4jDZfIPI0JlY7mYo+337zjYxlmqrVqGmfuhP4G5el80rFpN?= =?us-ascii?q?pdRcMrmIUGClaxmmwYSu5czg=3D=3D?= Received: from mail.mehnert.org ([213.73.89.200]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 19 Feb 2025 13:03:27 +0100 Received: from [192.168.42.80] (i5C74C167.versanet.de [92.116.193.103]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "hannes@mehnert.org", Issuer "mehnert root CA" (not verified)) by mail.mehnert.org (Postfix) with ESMTPS id EBA4711A6D for ; Wed, 19 Feb 2025 13:03:26 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mehnert.org; s=mail; t=1739966606; bh=RCtsMMEzfQTubSpnTGPAR31XmByvgxCFOd8Rib/dm6U=; h=Date:To:From:Subject; b=fNT4KVWYyuQQP6ss9QSLTDw2M26cv1+PYekgm52pnQiuzKrtPOoUa+HzMCR0lokUc mdXnyDy4AzujA+oZOkZFjLrxTM7fyVtsJ1J/vVgpPYN9mfUfVYlSk+xftml3ZRzXKm CTk9y986ewmPuxFUlJ0GKeVjLQUxfOE8MrgfuM9LVHBmvMXxJITY4++VOW+ndbLVIn i5MdmHKRZNZuJvm8VsRVo3xiVdToQZms25S7AQCxOfYLtDpyOZFCuSdpB/9FSaeR4J aGYZx4cNXyHR3t+ipe0zxuYZnkpiM9wUjzP0b5ypOHL7Z2PDGg3361AgZlOiR6u8Z6 pSA6UbjMz3lyw== Message-ID: <8d7748f5-2e64-4ea8-b60a-c8e7039d8495@mehnert.org> Date: Wed, 19 Feb 2025 13:03:26 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird To: caml-list@inria.fr Content-Language: en-US From: Hannes Mehnert Autocrypt: addr=hannes@mehnert.org; keydata= xsFLBEIw1AoBEADAtXwEV8F1DBpE9lnBTbHDNeZwDVp84MhxxIT5GUexGgbOWGSEWHhC3rYe FfGRUxF4M9P4fwxpxCS5YCvxoijWHeEf8nG5IkztVv5cw63E443XWHcCMc80YAwglZ2cSP4U GTNeKb9rqVPckk/PL348BYRawhzvZK+Bc+bUvbtPCfUXT1BWIxAR1dzsfpAQVNZ4bA06xOoP QJYVNgl/lWOmQgnSgb0dE2zsgddKTOj05ru7Q7LobB7WAUTRJVkZcXnrvI1SOt/WbPTyqF8l RBh94xCqFhv4SlqZVOTXxo9gw3LpDv/cYXRl/m7+/7Wljl3ziQ9cawA6O1mbw8nm7Sfa+TZl qo+5lXEenXG+MCbH0XnnL2I4BO6HSGDtKX6htTG2xs6w4r9mVxTGJuJcGrC0dxuz5j4jylt/ KOVn9IaRKzhj8ga7kWffMp+JYdrn43732weoFFJxm78mD2ij4UbJtNkQIIcTv8IBJajHy2P3 h1NuBIwwb7RmBav4oo0CKWoasIHFwjMSBpCzJ8QOHeO/F3TY3DZp7FTwViUgSXVJoewO9yFG ctX7MC27/F1IonU9/SJW0j+F3Vz32SfxUBrDnLYpO7/vwA8w+xmWLnl0iJN/8injz5+CigsP e7O66t4MtC9BVCuLu7a/ikH5nW0q6RyTW8of9eZIsuEyqF1ZPwAGKc0jSGFubmVzIE1laG5l cnQgPGhhbm5lc0BtZWhuZXJ0Lm9yZz7CwXQEEwECAB4FAkIw1A0CGwMGCwkIBwMCAxUCAwMW AgECHgECF4AACgkQvIlliN98KO5HYg//UD6gk4sFcNop/EQivcnpfPnHrrUddsBl9bovQSXb zIh5HY/8xhO5i87n5Aox9jYLcZwa6HJ3ElHMOa+n9AY4/+H8bd+BiHWTgEhEzcZqcYwyP2S2 0X/e/m/+1XYs5tldKNZb7ruYRv6rNyUAF1H8EtYNaJpmGtXYurkMhWhEgeP9YB7svmkUN+JO og91tNhN1Wd10/JfKIytNcpXmW6zij0f3MJw/kdwIsmfSUMPaiEli+eB7nU0uLZWf4C3MWTT NmwNznEya5K9McH1Wc/lO9+oB+zRXFBUM/v9YaiyPZo0JcwSRdVYKvKteyqnL/lnx7vtkOnA EC/bcmMvlWLI+Q4Vw2cr2FKcIpJVwswZ5snFqgDr4O5JB88aEAzPFzyWWeBlVqXc0DbDu8jD YmG3yp/xn5UJQSRy6eUcXICNjJyIwekUCznRmhtGwkGFCFEZH/s2fQ7nETxZcuiE4meRnVQE 9lOafI5D+dlsG3SlyN1x0YvrPismep7PwA6FX3cDyz2iUUj4xICLvRLU6kq892KuFmv75pop VAZjJMQqc8BG3oN2YkDcO4NEuOT9/r9muk/WH5Mqcs2BJEG6+yiQ13uMS5TxXiPFp3vKRlq0 MFnm7YRZr5aK6B/WGLOHnRRb2OdAzUgsj4Qiyqvh8Ab+x9wjLwGePxlA1akrF2hQItfOwUsE QjDUdAEQAOHG4vdGxU3eH5hYDLYRsQP6ofoU36pV8iFEtZRJ833L5p9GP2xFUGVDH8yTdkdf QR1prsCJXA7sE/gYBf3k9lGicJQmYNo3uW9Ngz787BhiQJyW/JXcutyTt9b/AZmfJaDo1p0C 8IEtoG7wt4+giFwAJ1brTJtyxlKOGcjWiKh1/dTh13muXSOPcCmhNs4Zm0YNjrhW9nIn1iik lpMRJCCxY1RNcU2VZXfTqq63UTaIrZ1lgYXWilnTdpXt5UEDYBw8Ee6tpPfQflC02e8hbDeD JEP9MTM9pmmPOwZQXP36hTryakKt1Kpw3hgC+Yx9q4wwaZ4XIiWUgopT5mlI+LhnzCgO05YN NcPrbsr6Js34gC3odNicD+C1jSdOXCqAPZZNiVx0PBjRv+LbBZhUkjQJxidvXmrp55pLm+Ua IVl3E/HpFY8kTaJBHP7jvLp+W4J9tP64Ijk5Y9F0z93JwMspG671xuomFsRxUtyO6vldd7qH 1yVzDX7Dd0fAzMDOPQJW6zLiixCmA0McaZdeBXapMJDDoZAPY4pCbRyJJXe0tfv9ufzJrM8Z JHylONdBiIKWw0JldXkUvIGafl1JDOHjP1XoDWrSDO8yFhBR3uWxJy9u1s7aKvonQb5IcYU1 nPu1Olg3doPugXyC0V05MIa68iKw+Kv8KtDDWyibndoTAAYpwsFfBBgBAgAJBQJCMNR1AhsM AAoJELyJZYjffCjuelUP/jlCsxLzu3fZpuORY2LsOQMd4nFHSZLUjauLxDUn8jE//32IIJ0v QV9ab4k7JCLOuYJTTd9aYD6rkITZIVhAcsR/FQZNgVOvGTj6tAmNyn385vMz0p4bLOOy5T0C KMLKzzS4Rt4XgtzvH2xDXSHfPsqS/t/5WFkO+aLgcPALldWGQPgRu5DNoCLr989gCGu5vmd4 XwMRBt/LmJGI0v0EypL3eRmlGaUw5k6N1hStu4EETzdikAzXP5KTuloEXq/caYeUs/SIb5zi XVC1ISW0CIwj5ATbMh8DMG4splXCsajtnJjsKJATBZIWV4XoNqtgV+pQn1ShmW36nUfVGqzX AQ+9i/M+CCkxBrb85Bk8I1CA1nBHNk5SQqER40VRp6vcmuxvIBGi6t8dDWsDQ2q3kd4RjjDZ kYjSie7176bb9t5MfUGjA9WckHuyi+vjy3+sC/nRzByhXf+8iZsO2no3xWZkGUWI8F2hhpzW VsXqvC27LZvJk53fJbpuSueN8a7JKfbKPDqoDSsRaEtcM7ig475tqA/ZCzv6mdqhEV5buoLu cpW7UgYzjNQQXeYZygGWc7FTV3dqLmF1MY2+RlydQbUDjcj1CJ+UmKyxgoLyf7ru0sznr7Tp K4WDnVeJdWX1mqoSupF/u5LON1vpzh3OIl5NNAuV68Hb5On/ALC+DwFX Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Subject: [Caml-list] 15th MirageOS retreat upcoming Reply-To: Hannes Mehnert X-Loop: caml-list@inria.fr X-Sequence: 19270 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: Dear everyone, from May 13th - 20th we'll meet another time in Marrakesh (Morocco) to talk, discuss, and develop code for MirageOS (https://mirageos.org). Food and accomodation (in shared bedrooms) is arranged for. From earlier retreats we have plenty of blog articles by lots of participants, take a look at https://retreat.mirageos.org/ if you want to read more. We're keen to have you there - even if you've not done much OCaml or MirageOS programming (yet ;). We're open for suggestions and observing people who're new to MirageOS to figure out what their issues is. The retreat itself has no formal structure - apart from 3 meals a day - but we usually have impromptu talks in the evenings and spontaneous discussions at various places (cafe, at the terrace, ...). If you've further questions, please don't hesitate to reach out. Sign up, book your travels and spread the word :) Hannes