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=QA7VUPv7; 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=hLaZ2xHl; 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 13108417D0 for ; Sat, 28 Dec 2024 22:37:39 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:from:date:message-id:to:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=eitmrCJdiuCRyIc/gP0u7rTDE0IitV2GSiMZWLng8ps=; b=QA7VUPv7tJnlAKta2GBfWdqJEEY15tIMMV9K/4DOwYTiGfPFlWT2LGlX /k0FiQlV9f1M8p0MO8ADhir2l8xr9yv9yj7qacyjdvcY5QetjGgVDCQT/ EZGLDKoqb/RUyBShxj1cxcwhRRi3thA80HpTVrhQ79Y0HaY0m/nfNfUUb Y=; 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.12,273,1728943200"; d="scan'208,217";a="200928726" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 28 Dec 2024 23:37:38 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id AC850E0D1E; Sat, 28 Dec 2024 23:37:38 +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 DCCA2E0077 for ; Sat, 28 Dec 2024 23:37:32 +0100 (CET) IronPort-SDR: 67707dac_RTAhl9GpzL1me+qYBLCPCPI8D2Oh97VuqodjhrDtSK9dBko f01ludQlAMfgPCxNZ7iSAVljcRGmDbnjtSjUzdA== X-IPAS-Result: =?us-ascii?q?A0H+CgAkfXBnfLLQVdFaHAEBATwBAQQEAQECAQEHAQGBa?= =?us-ascii?q?AKCQn1ZNAQLSIRWgSOOKoIhnhuBQD4PAQMBDRQBASUJBAEBAwSEOkaKcQIeB?= =?us-ascii?q?wEEMgcOAQIEAQEBAQMCAwEBAQEBARABAQUBAQECAQECBAYBAhABASIZBw4SK?= =?us-ascii?q?YV7DYJbgSxhAgUDOwEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQUCDR93ER0BGx4DEgkBBjcCIwERAQUBIhsagmCCLwEDMQMRpSCCJIEFQ?= =?us-ascii?q?os+gRUFAhaBAYINBoFZQdhCChkoDWwDgWECAQYUgTQBgwyBZylODgGCVAGBX?= =?us-ascii?q?AIOh3yBIRuCDYFKgkUBg04Cgg2DLoJpBII1gxaDSIwJkkImCAcXAwcHCQUEH?= =?us-ascii?q?AYFBQJCCQUBDxIDBAMEBAECCwkKCQMDAg4CCAMCCAYZAT8SBBMKDQsHBR8IA?= =?us-ascii?q?wQDDBEKKAMiEi0PAQIBWwU0AQsDBwIIAgIGAwICBBQGAwUIAwIFBQ0CAgoCB?= =?us-ascii?q?AMVBAQPAQECHgIGAQIQAQcEARQCCgMCBQYHAhwCAgMDBAQDAQUDEgMLAQUGB?= =?us-ascii?q?QEBBA4BAgECAQECAwMOAgIGAgIBCQICAQECFAEEAwgCBQMFAwoBAQECAQQJB?= =?us-ascii?q?A0GAwUDAwcDBAIDAgYCBAQFAgIDAwIDAQMDAgECAwkCAQ8PCQ8CAgMEAgYCA?= =?us-ascii?q?gEEJgIBFQUCAwQCAgcCAgMBAgECAgIEAgQCAgYDCQgBAgIHAQICAgMVAgUBB?= =?us-ascii?q?AkDAwUSDCADAgICAgMHCgMFAgEBAgQDAwMDCQ0HAgMBAgEDBQMBAgECCQMGA?= =?us-ascii?q?gIDAwUSGQUDAg8DAgEFBAIIEgsHAQEPFAUECQUVAwYCAwMWCwQFAwMDAQwPD?= =?us-ascii?q?gICCwMXBQEBBwEDDQgDBAQCAwMJAgEQAQMEAgkCBAECCgICAgICBAEBBQQCB?= =?us-ascii?q?AMCBQICAQgEAwMDDQQDCAgDBQMMEgICAgkCAwECAwMDBA0IFg0DAg0YChUTB?= =?us-ascii?q?wcDAwQLAgkDBA0CBAICAQYDBgoGFgECGAICBgwEAwMIAwIDAgIBAgICARECA?= =?us-ascii?q?gkIDQUJBQYCFwMCAwgBCQMPAwIUAQYCCAMHAQEEAgIKEQoBAQICAQYnAwEBA?= =?us-ascii?q?hQTBwMIAgICAgYWDAEFBwMHDwUFBAICFgMDEgQEEAICAwMCAQEUBhUBBQIDB?= =?us-ascii?q?gsBBgECBQQCAwQCEgIDDwMEAwoCDwMGAwQGAwECDBACBAIJCgEFBAMHBQIfA?= =?us-ascii?q?wMCAgULAggCAgUCBQcDCQ4BAgUDBAkCFAIQAgICAggXAgICBQYYAyYCBAMDA?= =?us-ascii?q?wMLAQICDgkDBDwGEwQCAwMCDgECAgsBAgIEAgMBBAcJAwMJCgcBCg0HAgIKC?= =?us-ascii?q?AkQAQICDwcDAgICAgYHDgMCEw8FBgYCCgcNCgMCAQICEwIDCQYDBQ0DBwQKD?= =?us-ascii?q?wIVAhYFAyACCAkLAgcOBQIFEgMOBQMCAhIEAgMGBQMBBwEXAwcIAgIMAgICA?= =?us-ascii?q?gUCBQIFGBEBDQQDAwMCCAEEFQYDCQgqCAQDCwYdAgIDAgQFAQESAQEBBQEJA?= =?us-ascii?q?gMCAwQIAwMDAwIDBAwLAgEHCAMDBgsICQYDAgcIGQMFBAMHBQshAgYDAgQFB?= =?us-ascii?q?AEFAhUNAgMZAgYDBhQLDAIGDggJAwcBAQECAgIIAQUFDAkCAwQCBQQEAQESB?= =?us-ascii?q?gIBAwICAwQCCgMCCgIICgEJEwQDCAMDAwMDBQEBAgIKBBMFBQIBBQ4TDAkKB?= =?us-ascii?q?gMHAwQCAgIQHQIJAyMPAwsJCBM9AQsHMgQ2ARQUByshX5xuR4QkXQgkIHEPg?= =?us-ascii?q?SotpQ2hA2iDPAWME44thxszhARNjDiZSZh8jgOVaYUvESMSgTkMJ4FcMxojg?= =?us-ascii?q?QGCNk8DGQ+SG7E7JzI8AgcBCgEBAwmPYIFLAQE?= IronPort-PHdr: A9a23:XAK9GRU76HqbQ/wtd7OsaZNQ/f3V8KyqXDF92vMcY1JmTK2v8tzYM VDF4r011RmVBtydsqgewLOI6ejJYi8p39WoiDM4TNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB 89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL58M Rm6txjdutcIjYdtN6o8ywXFqWZUdupLwm9lOV2ckxHg68mq+5Jt7zpesO87+c5aVqX6caU4T bhGAzkjLms4+s7luwTdQAWW/ncTXXkYnRROAwje8RH1RYzxvTfgtup8wyaVI8v7Rq0pVDu47 qdrTBjoiDobNzM87WrahNB8gL5drRm8oRF03ozab5yPNPdmcazTfd0US2lcUMhPSyNMGZmzY 5cVAucbIepUs4vwql0TphW+HwmsA+bvxydNiHDo26061fouER3G3Ac9A98BrW7brNDoP6kVU OC1yK3IwivZb/hL3jr965bHchYnof6SQbJwcdDexlQ1GAPAi1WQqIjlPzeL2eQXqGWb4O9gW viui24jsQ1+vj+vxsI1h4TPm4kaxUzK+z9jz4YpOd23VlR7Ydi8HZZOuCyUOYt7T8w+Tmxst yg3zrwLt567cSUE1Jgr2xHRZv2bfoaG/h7vSuecLCl3iX97Zb6xhxa8/FSvxOHhWce51ktBo CRCktnJrH8N1hrT59CaRft64kih2iiA1xrJ5u5YJkA0kLLXK5Egwr4slpoTrF/MEjXql0Xxi a+bcFgv9Ouw6+n/fLnqupuRO5V3hwz+KKgihNCzDOciPgQTXWWW+uKx36D98E39XbVKleE2n bfDsJ7HJMQap7C2DhdJ3osl9h2xFS2p0M4CknkCNF9FeAyIj4zuO1zWJfD3F/a/g1C1nDdvx fDKI6TtApvQInXBk7rtZ7l960lbyAo8ydBQ+YhYBa0GIPL2QkPxtdrYAQElMwGs3errFNFw2 pkdVG+PGKOVLr/evFyS6u4yIeSBZ5cZuDPnJPgk4/7ug2U5mVgYfaSx3psYdna4HvJ4LEWFY XrjmMoOHn0Pvgo7TezqjFmCXiBJZ3upUKI84ys0CIOiDYvZWo+th7mB0D+9HpJNfm9GEEyDE W/0d4WYXPcBcD+eLtd7kjMYTbihV5Mh1Ra2uQDm0bVnK+7U9jQctZLiz9h1+/belQoy9DxxF 8SSyXuBT2BynmMSRj85xrpzoUJnygTL7a8tiPVdEZRO/P5TSU9uPpfZy6l+CsvucgPHZNaAD li8FIaIGzY0G/E8xdkDf0Y1Mtmri1jm3i6uDqVdw7+GApo57qLV03H0Isd5z3vc/KYkhlgiB MBIMDv11eZE6wHPCtuRwA2inKGwePFEtMas3GKKzG7U+VpdTBY1S6LOG3YWekrRq939oELEV b6nT7o9YUNa0cDXDKxMZ5XyiEleAu/5MYHdbmS3lnuwDBqBw7aNaI7nYU0S2SzcDA4PlAVAt W2eO10GDzy663nbECQoEFvuZ0329uwrq369SEIozwiGZkhk1r6x9wQ9ivmVSvdV1bUB6286s zshOlG70prNDsaY4QpseKIJedQm/FJOzn7UrSR4N52kaqRg3xsQKlsn+Uzp0BpzB8NLls1CQ GoC6g10JOrY1VpAc2ndxpXsIvjNLWK0+hmzaqnQ01WY0dCM+65J5u5q41Pk9BqkEEYv6RAFm 5Fczmec65PWDQETTYO5U0A58AJ/rq3bZS917p3d1HllO625+jHY3NdhCOwgwxemN9BRVcHMX Az/FcsXG8inJOUvnlmtah8eFO9X/a8wecihcrrO2aKmOvphgCPzlX5Os+UfmgqH8ytxTPKN3 o5QmanJmFvaEW2k3BH47ZCk/OIMLSsfFWe+1yX+UYtYZ6koOJ0OFX/rOcq8gNN3m5/qXXdcs l+lHVIPnsGzKn/wJxTw2xNd0UMPrDmpgyy9mnZ3njcvo7af1SDHxuHjcB4KIEZEQWBjiRHnJ o3+3LV4FAC4KhMkkheo/xOwxKVdoqljL2DfSEJNfizyIntKXa65t77EaMlKosBN020fQKG3Z laUTaT4qh0R3nb4HmdQ8zs8cimjppTzmxESZHu1FH9otzKZfMhxwU2a/9nAXbtL2TFAQiBki D7RD1z6Pt+z/NzSmY2R+uy5UmugUNVUf0yJhcuDuS296HFqCBG2mvWyntnqCyA11Cb6059hU iCAoBvnY4bt3ri3Kqo9JhguVAK6sZIqXNghwsM5n/RykTACi4+Q/GYbnGu7Kthd1a/kLTIMS TMN39/J8V3g0UxnIGiOwtGcND3Vyc9gat+mJ2IOj3hlvoYaVeHOtOwCxHQl8T/a5UrLbPNwn ykQ064r4X8e2aQSvRY1iz+aCfYUFFVZOirlk1KJ6cq/peNZfjXKE/D42UxgkNSmFLzHrBtbX SOzeZokGyJs7sxzOVfJ0Xn355vMd9zZbNZVvRqR2USl7aAdONcqm/wGiDAyc2Hwu3so1+4yg RVr2JC+uIWdA2po9aO9RBVfM3emAqFbsiGohqFYkMGM2ompFZg0ATQHUqzjSvewGS4Tv/DqZ E6eVScxoXCBFf/DDBeSvQ14+mnXHcnhZBT1bDEJiM9vTx6HKAlDjRAICX8ky4UhGFnixdS9I hwkoGlAvhii9kQKkqUya1H+SjuN+lvuMGxvDsHBdFwOqVgTgiWdec2GsrAtQWcBpsfn9ErVb TbDLwVQUTNXBAreWwGlbuHovZ6aq6CZHrbscKGIOOnI8L0EEa/PnMLKsMMu/i7QZJrTeCA4U rtjnBIEBC4xGtyFyWxXG2pOyH2LP4jD403lsixv8pLmr6+tAVOzo9PJU/wLb7ANs1i3mfvRb bbBwnYkb28ChtVUgiaXgLkHgAxI0n8oKmnrSOVa83aKFfOYm7cLXURCNWUpb5oOtPh6hk4Ua Ku5wpvj37p8xJbZEn9jUlrs0oGsbM0OeSSmMU/fQVyMP/KALCHKxMf+ZeW9T6dRhaNarU/4v zHTCELlMjmZ8luhHxmyLeFBij2aNx1Cqcm8dBhqE23qUNPhbFWyLtZ2iTQ8xbB8iGnNMCYQN j11ckUFqbP1j2sQmvJkB2lI9WZoN8GBkiedqu3ac9MY6KQ7RCtzkO1e7TIxzL4UpCBISfppm TfD+95jp1b194vHgjFjURdItnNKnNfR5RQkafifrMEQHy+brEFojy3YERkBqtp7B8e6vqlRz oKKj6fvMHJY9NmS+8IABs/SIcbBMXw7MBOvFiSHaWlNBTOtK2zbgFRQ1f+I8XjA5Js3rJ7hh JoHRrZeUV0xEv4AIktgFd0GZpxwW3l39NzTxN5N/ne4oBTLEY9CuYvbU/uJHfj1ADOQjL0BY xlRhL2hctRVOYr81EhvLFJ9mc6ZfiiYFcAIqSpnYAgupUxL+3UrVWw/1XXubQa16WMSH/q59 vbXog53YOBo8DW1pllueQqMqyw3n008397ihGLJGNYUBKi1VIBSTSHzshppWnsUawlwZAy22 0djMWWdL48= IronPort-Data: A9a23:ZH69t6r+mdVGQCLZn9Ez4Pp1ToteBmKuYRIvgKrLsJaIsI4StFCzt garIBmGOfqNMWqjL41zOo3loBxQsZXQnYdlTARqrCtkEXwa9ePIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKiefHoZqTZMEE8JkQhkl/MynrlmiN24BxLlk d7pqqUzAnf8s9JPGjxSsvjrRC9H5qyo5GpC5AxmPpingXeH/5UrJMJHTU2OByCgKmVkNrbSb /rOyri/4lTY838FYj9yuuuTnuUiG9Y+DCDW4pZkc/DKbitq+kTe5p0G2M80Mi+7vdkmc+dZk 72hvbToIesg0zaldO41C3G0GAkmVUFKFSOuzdFSfqV/wmWfG0YAzcmCA2lmGoEn9d5MBFhv6 PNBMwgqMBmNhPqflefTpulE3qzPLeHuNYIb/3VilHTXVKl2B5/ERKrO6JlT2zJYasJmR66PI ZpEL2A3PFKZPE0n1lQ/UPrSmM+ri3/5fiFYoV6coK8252ze1iR+1bHsNJzefdniqcB9xB7A9 ziWoDymav0cHOac7AG4wHX2usHwpSSqRN8TSZu85PE/1TV/wURIVUROCgrlyRWjsWa1Utdbb kgV4TYGtrk37EXtT9/nXhT+rmTsg/IHc99ZEul/7APUj6SNvFbfCW8DQTpMLtchsafaWADGy HfZuN/WCgRUtYS0VH3E7Y+z8zq8OjA8eDpqiTA/cSMJ5NzqoYcWhx3JT8p+HKPdsjETMWGgq 9xthHhu74j/nfI2O7OHEUcrag9AS7DMRw8xowHVByert1wpIoGiYIOs5B7Q6vMowGelorup7 SFsdyu2tb9m4XSxeMqlHrxl8FaBuaztDdEkqQQzd6TNDhz0k5JZQahe4StlOGBiOdsedDnib Sf74FwKucQJYCD3NPAuPOpd7vjGK4CwRbwJsdiEPrJzjmRZLlfvENxGPBHAjz6yyhBEfV8XY sbLL5jxZZrlNUiX5GHrHr9CgOFDKtEWymTUSpT2hxWh2vz2WZJmYeZtDbd6VchgtPnsiFyNr b53bpLWoz0BCrGWSneMquY7cwtaRUXX8Lis96S7gMbZf1I+QAnMypb5ndscRmCSt/4JxrqRr y7tChYwJZiWrSSvFDhmo0tLMNvHNauTZ1piVcD1FQ/wgCRxUpXl96oFaZo8cJ8u8eEpn7Y+T OAId4/ESr5DQyjOsWZVJ5Tsjp1QRDLyjyK3Pg2hfGceebxkTFf34dPKRFbk2xQPKSuVjvEAh YOc+DnVerc5fDQ6Pv3qMKqu63iToUkinPlDWhqUA9tLJ2Tp3otYCw3wqf4VJcszBw3J7WaY3 VzOADMzh+rEk6kq+vbn2IGGqIaIFbNlP0x4RmP005e/BRP4zEGCn7BScb+vVi/PcU/J44OeX PVx49CgFewYjXBInpFZEb02/Zkh5tDqmaBW/j5kEFrPcV6vLLFqeVuC4uViqYxPwa1/qyKte 0fS5ORfB6qFCPnlHHEVOgAhSOaJjtMQuzvK6MUKMFfI3zB28JWHQHdtEUG10gIFF4RMMaQh3 esFk+wV4VbmihMVb/C3vhoN/GGIdnE9Q6Ers68BO7DSiy0p90pjZKLNASqn8bCNbNRxanMRG AG2v5abpbpgxRvlSUERRFztxutWgKoctC9alGEiI0u7ofubp/sV8iAIzxEJYFV09ChX68NyJ WlhCGNtL4qs4TpDpZZOTkKsKS57FTyb/U379HURnkaAVECqe3D/LkBmHs3Q+kpDomRWUQVGz evJ1EfkTjfYU8Xj1QQiWUNeiqLCTP4g0ibgicyYD8C+MJ1iWgXcg4iqfngthyr8J8E6lGnrh LBN0r5rSKvZMSUwnfUKO7OC3+5NdCHedX1wf/5x2YgoQ0feQWiW8hqTIRmTfshtGaT7wXWgA ZYzGvMVBgWM7wfQnDU1HqVWHqRVmsQu7988er/GA24Knr+cjzhxuqLr6SnMqz43cupqjPoCB NvdRxCaHkyUoElkqWvHgc1HG2i/OP0vRgn32sKr++QoSbMHlsxRcn8J77jlhEXNbTNb/C+Vs jjTOI7Q7ehpkrp3k6XWT65sOgSTKPHIbtquzjydidp0UI7wAZ/8jD9N8ljDFCZKDIQVQOVyx Oisssao/Ubrv4QWcmH+mruHHZZn/c+ZAehdaJr2CFJ4niKyftDmzDVe2mK/KL1PyMh84Ov+T SSGScKAT/wncPYD+290Mg91DAQ4J5nsSJvZtQeRjqipGwcM9w7qN/al/iLZVn5afSo2JJHOM A/4lPKw7NR+ro4XJhs7K9x5Ip1/MnnxcLAHcoDviDymEWWYuFOOlb/8nx4G6zuQKH2lEt7/0 K3VVCrFaxW+l6HZ/u5367UokEUsM098pu0scmY22d180Wm6BVFbC9UtC8wND5UMnxHi0J39W ir2U1IjLifARhVBTwT35YXyfwWYB9FWAOzDGB4Swxq2ZRu1VaS6O5kwxhc4tj0yMnHmwfq8I N4TxmzoM1Ljitt1TOIU/bqgjf0h2vrewWkS9Fvgl9DpRSwTGqgOyGcrCT8lufYryC0RvB6jy akJqWF4rIWTTEfwFYNkeScQFkhG7HXgyDInaSrJy9Ha02leICus19WnU9wfEJVaBCjJGFLKb XzyTmqJpWuR3xT/fIM37skxj/Yc5e2jR6CHwWyKeeHWt66142UjecgFmELjiS3kFBF3Szvgq 9Vn35Ty6Ilp5qycNH16BDjlI65Mb08= IronPort-HdrOrdr: A9a23:mE337qxIvigMNENRvjG+KrPwFr1zdoMgy1knxilNoH1uA6qlfq WV9sjzuiWE6gr5NEtQ+uxoW5PhfZq/z+8R3WB5B97LNzUO01HYSL2Kg7GSpAHIKmnR8qpy28 5bHJSWy+edMbG5t6vHCcWDferICePnzJyV X-Talos-CUID: 9a23:s6LkI2PUevq6I+5DCA5ry0EsIcUcU2DSlWzoBBGxB2VxYejA X-Talos-MUID: 9a23:mAmlpgTi3K8mOb5TRXTWhxRZCfVvuZiAN3gKwIlbupSiMT5/bmI= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.12,273,1728943200"; d="scan'208,217";a="200928707" X-MGA-submission: =?us-ascii?q?MDHhEyiCEqeWy27TfDYU4aM59C+mJPyxWxpu+l?= =?us-ascii?q?Bg9QdI0fifM7hWeEthpYHab6SdBj5YEX5Z9mrxrFJafD9BZEli7Mut9g?= =?us-ascii?q?zZyHJgiKJODEYIjQWW0cYIEecXebYDIqcqOXLVswiQRPi1LCzYAL7nnb?= =?us-ascii?q?EyIYaK36uEKpQDSMYto2/ZXQ=3D=3D?= Received: from mail-lj1-f178.google.com ([209.85.208.178]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 28 Dec 2024 23:37:32 +0100 Received: by mail-lj1-f178.google.com with SMTP id 38308e7fff4ca-3002c324e7eso93294001fa.3 for ; Sat, 28 Dec 2024 14:37:32 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1735425451; x=1736030251; darn=inria.fr; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=eitmrCJdiuCRyIc/gP0u7rTDE0IitV2GSiMZWLng8ps=; b=hLaZ2xHl7pq+T25yo6sTL/YlEsgG7xKJo4K4+h7TpHrofzNs2wRyKxuerjnb9exxSz UEJIDA7ceiWVf1rcv+m4QZHYviLwcMnC/v5Qmo4yp5OlY0pf6d4Lccyc+LzgDiaZEALX NVMMq4Wb+DnKS+GWvsUcCDG39nKCLvInoEIyMIV1WHqWIx4Y0bz1/aUHy0HCRjqixoqF bho+QtO8Ip/XX/aIyEXuC0GP8xB08k1tnH2e55iaBVgM5yAvl8YC2VA/X1kMKAfy2tss N7XAGP38wndVyNAv4o8ipmEgzPhjkKlasyPR/GxvWdpsarSRhu8LZD9cGQfNd0QTwoM0 ZOEw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1735425451; x=1736030251; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=eitmrCJdiuCRyIc/gP0u7rTDE0IitV2GSiMZWLng8ps=; b=jJVInH+hER9LGkhlM9Bhyte0k1yzdS0kFJ6dltrDadXgCR2T2P9U5kptyw8I8K+YPT Wg/Fb6irqbj9SyOp3NTjOscu+TvLc7ehabxP6rr+LFlP8Nf2F2GeeJWX7Gh9Y4QyR5W6 BCC641FjaN2xn25B5EykH+IlTj/oZKxtD5zkLfpTbtr87xhqd0WafrcrFN7sGGJ2GuNm t8IGQe2LL9DQ+yqeR0i6+wUD6vtrp1RJsUDsviLBYPR2tSIOi4PrGqfjiGpq64iF9MOq sJCC9y8m7lACeq+ByHjnzn8WZ+Ka59zBVmV6pQHyrySYn2wDz8LWF5r2dJu/WvRV4ZXo HwfA== X-Gm-Message-State: AOJu0YzMl+xna7n26ec3WY3K11XkND1KpIFEpA5YXG/yDisR/lI3t0Nc ImPTgrllFaIa4k/QnBaTSZNIRZ6bsRCDKPleHvu/FVhIJ+c676TEXsrgyUpL70tPlOmHV+3uBMs FXohvd+IXVcpPXwMrq8pe+Ifp0ObSUZ4x X-Gm-Gg: ASbGncuh05drUx0pmi5crwPq/xODD6t1JCk4zyMVgKZ0BwJI309Zf6oIgpXH4fdBvrg UReCU+sC73X5sn+tJa4Jr6LGColqsmL9rf6ijfA== X-Google-Smtp-Source: AGHT+IE285vk+rrZt3gDYXn2unwIMqOqsEViGjjdx2PRQNeJnx/BIX290gMM5jme/hmgmLowMGdAkk5TH4CBVQQ/w2g= X-Received: by 2002:a05:651c:1a0c:b0:302:1d24:8db7 with SMTP id 38308e7fff4ca-3046856bbccmr92878881fa.19.1735425450464; Sat, 28 Dec 2024 14:37:30 -0800 (PST) MIME-Version: 1.0 From: Kenneth Adam Miller Date: Sat, 28 Dec 2024 16:37:19 -0600 Message-ID: To: caml users Content-Type: multipart/alternative; boundary="000000000000825ea4062a5c39f0" Subject: [Caml-list] Emacs syntax highlighting Reply-To: Kenneth Adam Miller X-Loop: caml-list@inria.fr X-Sequence: 19239 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: --000000000000825ea4062a5c39f0 Content-Type: text/plain; charset="UTF-8" Can someone help me? My emacs is not showing syntax highlighting for Ocaml code. I have two emacs setups, one under WSL (windows subsystem for linux) and one under docker. Both of them aren't showing any highlighting. You can pull my emacs docker instance from: https://hub.docker.com/repository/docker/kennethadammiller/emacs/general Someone please help me to get syntax highlighting back. I've tried installing caml mode, but that didn't work. Usually when I set up a new emacs installation, I follow this: https://github.com/BinaryAnalysisPlatform/bap/wiki/Emacs, And in fact, it's already in my emacs. You can grab a local copy of my .emacs file from: https://github.com/KennethAdamMiller/dotEmacs I usually run my docker instance and pass in the volumes so emacs sees my .emacs docker run -ti -v /mnt/c/Users/kenne/workspace/dotEmacs/.emacs:/root/.emacs -v /mnt/c/Users/kenne/workspace/:/root/workspace kennethadammiller/emacs:latest /bin/bash So this should duplicate the issue with the syntax highlighting exactly, just notice when you open an ml file that the syntax isn't highlighted. --000000000000825ea4062a5c39f0 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Can someone help me? My emacs is not showing syntax highli= ghting for Ocaml code. I have two emacs setups, one under WSL (windows subs= ystem for linux) and one under docker. Both of them aren't showing any = highlighting. You can pull my emacs docker instance from:=C2=A0


Someone please help me to get = syntax highlighting back. I've tried installing caml mode, but that did= n't work. Usually when I set up a new emacs installation, I follow this= :=C2=A0https://github.com/BinaryAnalysisPlatform/bap/wiki/Emacs,
And in fact, it's already in my emacs. You can grab a loca= l copy of my .emacs file from:=C2=A0


I usually run my docker instan= ce and pass in the volumes so emacs sees my .emacs

docker run -ti -v= /mnt/c/Users/kenne/workspace/dotEmacs/.emacs:/root/.emacs -v /mnt/c/Users/= kenne/workspace/:/root/workspace kennethadammiller/emacs:latest /bin/bash

So this should duplicate the issue with the syntax = highlighting exactly, just notice when you open an ml file that the syntax = isn't highlighted.=C2=A0=C2=A0
--000000000000825ea4062a5c39f0--