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=ZIywT4zG; 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=kCj41mVG; 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 3464948E3C for ; Sun, 29 Dec 2024 04:39:14 +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=/J5fhL3gC7z4PXAM9FXagG81TTSOZuke2CvRs3P9P/s=; b=ZIywT4zGQ85nFA90ojvDOb+OxnIJFSJB/u10wNz1DLxFOuI4eS/80ii5 b+q7L53g8jV2C09ogXqAmLs7IBKP2vsRFD0iqrGB7DT4gmnzEwziSinas iWYkwvHHez5trXtVL+cY39mmTFEpp8QZ/yd7K8ZgT+DVeE2APRn3iyMfK 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.12,273,1728943200"; d="scan'208,217";a="200938016" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Dec 2024 05:39:14 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3B244E007A; Sun, 29 Dec 2024 05:39:14 +0100 (CET) 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 AC4EEE0077 for ; Sun, 29 Dec 2024 05:39:10 +0100 (CET) IronPort-SDR: 6770d26d_Ru2hfWJwywIHasv11Q4iDWS+hps7xLLvalkAls5idGgKMBS ugsx1zthXO2ooXzagBQI7tQSzGBpLd9KCL7paAA== X-IPAS-Result: =?us-ascii?q?A0GtAwDy0XBnfKzQVdFaglyCRIFWNAQLSIRWgSOOKo4ah?= =?us-ascii?q?1aKTIFAPg8BAwENRAQBAQMEhRiKWQIeBwEEMgcOAQIEAQEBAQMCAwEBAQEBA?= =?us-ascii?q?RABAQUBAQECAQECBAYBAhABASIZBw4SKYV7DYJbgSxhAgUDOwEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQUCLHcRHQEbHgMSAwYBBjcCB?= =?us-ascii?q?B8BEQEFASI1gl+CMAEDMQOYSo0cgiSBBUKLPoEVBQIWgQGCDQbaXAoZKA1sA?= =?us-ascii?q?4FhAgcUgTSEdClODgGCVAGBXAIOh3yBIRuCDYFKgzOIHoJpBII1hl6eSyYIB?= =?us-ascii?q?xcDBwcJBQQcBgUFAkIJBQEPEgMEAwQEAQILCQoJAwMCDgIIAwIIBhkBPxIEE?= =?us-ascii?q?woNCwcFHwgDBwwRCigDIhItDwECAVsFNAELAwcCCAICBgMCAgQUBgMFCAMCB?= =?us-ascii?q?QUNAgIKAgQDFQQEDwEBAh4CBgECEAEHBAEUAgoDAgUGBwIcAgIDAwQEAwEFA?= =?us-ascii?q?xIDCwEFBgUBAQQOAQIBAgEBAgMDDgICBgICAQkCAgEBAhQBBAMIAgUDBQMKA?= =?us-ascii?q?QEBAgEECQQNBgMFAwMHAwQCAwIGAgQEBQICAwMCAwEDAwIBAgMJAgEPDwkPA?= =?us-ascii?q?gIDBAIGAgIBBCYCARUFAgMEAgIHAgIDAQIBAgICBAIEAgIGAwkIAQICBwECA?= =?us-ascii?q?gIDFQIFAQQJAwMFEgwgAwICAgIDBwoDBQIBAQIEAwMDAwkNBwIDAQIBAwUDA?= =?us-ascii?q?QIBAgkDBgICAwMFEhkFAwIPAwIBBQQCCBILBwEBDxQFBAkFFQMGAgMDFgsEB?= =?us-ascii?q?QMDAwEMDw4CAgsDFwUBAQcBAw0IAwQEAgMDCQIBEAEDBAIJAgQBAgoCAgICA?= =?us-ascii?q?gQBAQUEAgQDAgUCAgEIBAMDAw0EAwgIAwUDDBICAgIJAgMBAgMDAwQNCBYNA?= =?us-ascii?q?wINGAoVEwcHAwMECwIJAwQNAgQCAgEGAwYKBhYBAhgCAgYMBAMDCAMCAwICA?= =?us-ascii?q?QICAgERAgIJCA0FCQUGAhcDAgMIAQkDDwMCFAEGAggDBwEBBAIBAQoRCgEBA?= =?us-ascii?q?gIBBicDAQECFBMHAwgCAgICBhYMAQUHAwcPBQUEAgIWAwMSBAQQAgIDAwIBA?= =?us-ascii?q?RQGFQEFAgMGCwEGAQIFBAIDBAISAgMPAwQDCgIPAwYDBAYDAQIMEAIEAgkKA?= =?us-ascii?q?QUEAwcFAh8DAwICBQsCCAICBQIFBwMJDgECBQMECQIUAhACAgICCBcCAgIFB?= =?us-ascii?q?hgDJgIEAwMDAwsBAgIOCQMEPAYTBAIDAwIOAQICCwECAgQCAwEEBwkDAwkKB?= =?us-ascii?q?wEKDQcCAgoICRABAgIPBwMCAgICBgcOAwITDwUGBgIKBw0KAwIBAgITAgMJB?= =?us-ascii?q?gMFDQMHBAoPAhUCFgUDIAIICQsCBw4FAgUSAw4FAwICEgQCAwYFAwEHARcDB?= =?us-ascii?q?wgCAgwCAgICBQIFAgUYEQENBAMDAwIIAQQVBgMJCCoIBAMLBh0CAgMCBAUBA?= =?us-ascii?q?RIBAQEFAQkCAwIDBAgDAwMDAgMEDAsCAQcIAwMGCwgJBgMCBwgZAwUEAwcFC?= =?us-ascii?q?yECBgMCBAUEAQUCFQ0CAxkCBgMGFAsMAgYOCAkDBwEBAQICAggBBQUMCQIDB?= =?us-ascii?q?AIFBAQBARIGAgEDAgIDBAIKAwIKAggKAQkTBAMIAwMDAwMFAQECAgoEEwUFA?= =?us-ascii?q?gEFDhMMCQoGAwcDBAICAhAdAgkDIw8DCwkIEz0BCwcyBDYBFBQHKyFfnTWEb?= =?us-ascii?q?qhDoQNogzwFoVszqlKYfKkbESMSgTgBM4FcMxojUDGCNk8DGQ+SG7FAJzI8A?= =?us-ascii?q?gcBCgEBAwmPdoFLAQE?= IronPort-PHdr: A9a23:1wJqpBQrTxx7zDnV7iUtwbNwjNpsoiqVAWYlg6HPa5pwe6iut67vI FbYra00ygOSBMOCsakP1LaempujcFJDyK7CikxKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizewb65+I A+roQnPuMQajolvJ6kswRbVv3VEfPhbymxvKV+PhRjw4du+8oB++CpKofIh8MBAUaT+f6smS LFTESorPWMo6sD1rBfPVQSA6GcSXWUQiRpIHhPK7ArmUZfrsyv1rfRy1S+HNsDrV780WDCi7 6B2SB/0jSoMKjA0/H3LhsF2kalWpg+qqR5izI7OeIyaO/pwcK3ec90HW2ROQt1cWDZdDo6md YYDE/YNMOReooLgp1UOtxy+BQy0Ce3q1DBIgHn20rMm0+QhDArLwBEvEMgLsH/Jq9v1NaMSU eSrw6nS0D7OaPBW1in76IjObB8hvfGMUqhtfsXLzEkvEgLFjlGUqYP7JTOYzesNs22B4OphU eKjkXIoqwZ0ojW2wMonl4bGiJ4PxF/e6SV53Jg6Jce+SENjYdOpDYddui+VOoV2X84vXmJlt SQ6x7AYuZO2cicHxZonyRLBd/GLbZSF7xb/WOueIDp2hHJrdKy/ihu87UWs1uvxXdS33lZSt idJjMXAu3QX2xHQ6sWLUOVx8lui1DqVygze6P9ILEYpnqfFL54h36UwloYNvkTZAyH2mUT3g 7GOe0k4/OWj9v7pba/8ppCGMo95kgH+Pboqmsy4Gek4NxIBX2mf+eil0L3j/1D1TKxEjvErk KTVrorWJcscpq6+DA9V1pgs5wyjADeh1dQUhXgHLFRbdxKbl4XlJU3CLfTiAfq8g1mgiilny +zFM7H7H5nALGbPnK/kfbln6k5czAQzzcpY55JRErwBI+z8Wkn3tNPGEh85Mxa7zPv9B9V40 4MeWGaPAquHP6PIqlKI6ecvLPONZI8RojryN/8l5/v2gX8/glASZbOp0ocPaHCkAvRmJF2Ub Wf0jtcbDWgKphY+TPDtiFCaTTFcfXOyX6Yl6jE/CYKmFpvDS5u2gL2B2Se7BodZanpHClCKC 3fodp+LV+0CaCKIcYddlWkPXL2lA5I62Au1/Fvxwr9ja+7V4TEwtJT51dEz6feFxj8o8jkhL Mmb1WyRTyldkmoNDxo32KRyuwQpyVqF16Vkg/VUHNlW5vdNXx0SOpvVzug8ANf3DFGSNuyVQ UqrF431SQo6Scg8lodmiydVHtyjikuGxC+2G/oOkKTNApUo86Xa1ny3JsBnyn+A2rNyx0I+T J5pMmurzrV66xCVH5TAxkaUkaCnaaQV0CfI8WaHyWeUlE5dWQ90F67CWCNXfVPY+Ozw/ViKV LqyEfIiOwpFx9SFL/5JZ9vvgElGTfvqPdHfZ2a8gU+/AB+JwvWHa4+5M34F0nD7D04J2xsW4 W7ANQU6AXK5pHnCCTV1CV/1S0bl8O07rHHiC0FtkFvMYEpm2L64vBUSgJRwUts12bQJ8Gcko jRwRxOm2s7OTsGHv0xndbldZtU05BFG03jYvkpzJM7oKacqnVMYfwlt2iGmnxxqFoVNl9Qrp 3I23UJzL6yfylZIazKf29j5JLTWLmD4+B3nZbTR3xnS19Of+6FH7/pdyR2rvwyvEEc+83xr2 txQ0n+Y64/iAw8bUJa3WUEytlB7q7zcfigh9tbMz3Q/VMv8+jTG2t8vGK4k0kP6J4YZYP7CT leiVZRFXZvLSqRigVWiYxMaMfoH8ac1O5jjbP6awOuwO/4mmju6jGNB6YQ700SW9iM6RPSbu vRNi/yewAaDUC/xyVm7tcWi04NJYzcfAmq2xSHhAY9VYqBoVYkOAGaqZcaww58t4vylE24d7 1OlC14cjYWqdByUYkD91AFZ0EEWpXiqgwO3yjV1l3ciqa/Vj0msi6zyMREAPGBMXmxri1zhd JO1g94tV0+tdwE1lRGh6C4W3oBjrb9kZynWSEZMJG3tKn16F7C3rvyEatJO75UhtWNWVv69a BaUUOy1rxwf2iLlV2xQoVJzPzKnvJP0gxxzhGuYKXd3qHfDUc51zBbbotfbQLZd0yEHSy9xl TTMTgLkbp/5oJPOz8eF67/kH2u6M/8bOTHm14aBqDe26SVxDBuzkury0tzrHA4m0DPqgtxjV CHGthH5MeyJn+yxNeNqeFUtBUepsZIrXNEj1NFo1NdJhiJJ4/fdtWAKmmryL9hBjKf3bX5WA CUO38aQ+w/9nktqMnOOwYv9EHSb2MpoIdegMQZ0kmow6d5HDKCM4flKhyxw9xC7oATXbOR9l zsUzP4v7HoXmckGvQMsymOWBbVYTiw6dWT80g+F6dyztvAdZ2upd7Ws1ENylNWkDbWGrxt0V 3Pwe5NkFih1pJYaUhqEwDj47Yfqf8PVZNQYu0iPkhvOuONSLYo4ivsAgSc0cXK4p3AuzPQ3y AB/xZzv9pbSMH1jpejqZ3wQfi2wfc4Y/SvhyLpTjtrDlZ76BY1vQ30KRMe6Fq/uSWNK8667a EDWV2dg4naDReiBQUnFsxwg9iyXVcjsbiDyRjFRzM0+FkfDYhUH2kZMGm19xMZxFxj2lpK/N h0lt3ZBvhig7UEUguNwa0ugCCGG+EHxO21yEN/GfH80pklD/xuHbpDYt7guWXkeptr48kSMM jDJPlwYSzhWBQrUQQikZODm5MGcobHHXaznfqeIOfPW7rUAMpXAjZO3jtk8p2fKZpjJZyMyS aV8gxULXGglSZ6AxXNSG2pOxniLN4nC9V+94nEl9Jnhtq6wCUS0v83XTOIDVLcnswa/haPJX wKJrAB+LzsQlpYFxHuTjaMawEZXkCZ2MT+kDbUHsyfJCqPWgK5eSRABOWt1M4NT4qQw0xMoW 4aTg87p1rN+kv8+CktUHV3nlMazYMUWIma7fFrZDUePPb6CKHXF2cbyKa+7TLRRiq1TuXjS8 X6DFFT/Oz2YizTzfxWmMOUJiCPCeRIH59v7fRFqBmzuCtnhb1zzMdN6iyE33axhhn7OMj15U 3A0eEdMo7uMqCJA168nSioRszw/dbnCwnnDvIy6Yt4MvPBmAzp5jbdf6XU+kP5O6T1cAedyg G3Up8JvpFevlq+OzCBmWVxAsGUu5srDsEN8NKHe7pQFV2zD+UdH7miWDRkWp9JpA9jquqRUx 8Lnm6f6KTME+NXRt5h5ZYCcOIecPXwtPAC8UibTFxcARCW3OHv3gkVclLSW9CTQoMFl8N7jn 50BTrIdX1swXKB/aAwtDJkJJ5F5WSkhmLiQgZsT5HawmxLWQd1TopHNUv/66RrHJzOQjL0Cb BwNk+qQxWU7M4T63wlmaAA/kt2VQQzfWtdCpiAnZQgx8h0lGJ1WQWg62kajYQSosid7KA== IronPort-Data: A9a23:34LISanSdFgRklpbCFVM1pvo5gw2IkRdPkR7XQ2eYbSJt1+Wr1Gzt xJODGrSbPncZTf9KYp/OYri9E1S7MDcnIJqTQdqqCE8EVtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayazh8B56r8ks14K2o4mNA5TTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1ABl42I5Yy1N1GLkFL7 dAbdC4rNQCc0rfeLLKTEoGAh+wmJcjveYcd4zRulG6DS/khRp/HTuPB4towMDUY3JgfW6aDI ZBBOXw2M06ojx5nYj/7DLo9keGui2X/ejFRrVeUoa46+UDcyQVw1P7mN9+9ltmiHJ0IxB3D/ j+dl4j/Kh83d/eu8XmnyHe9j8zzrDPJQt4VBLLto5aGh3XImzVLV0xIPbehmtGyg0u6HtZeM FA84TsrtaF09UqxT9C7UQfQnZKflhsVWt4VF+9jrQ/UlfCS7AGeCWwJCDVGbbTKqfPaWxQE3 ECJgcjDKwden52QUV6eqqmy9iOtbH19wXA5WQcISg4M4t/GqY41jw7SQtsLLEJTpo2qcd0X6 2DaxBXSl4kuYdg3O7JXFG0rbhqpr5nNCwo3v0DZBz3/qAx+Y4Ghasqj7l2zARd8wGSxHwTpU Jsswpf2AAUy4XelynXlrAIlQuvB2hp9GGeA6WOD5rF4n9hXx1atfJpL/BZ1L1pzP8APdFfBO RCI5F8IvMAIbSTyMMebhr5d7ex6ncAM8vy1BpjpgiZmOMAZmPKvpX4+NRDPhTiFfLYEyvBvZ 8nGGSpTMZrqIf86lWLpFrl1PU4DySc5ymfeDZH9xFLP7FZtTC/9dFvxC3PXNrpRxPrc/m39q o8DX+PUkUk3eLOlOUH/r9VDRW3m2FBhWfgaXeQNK7bbemKL2QgJV5fs/F/WU9c7wvQFyL+Qp RlQmCZwkTLCuJEOEi3SAlgLVV8ldc8XQasTZHR3YQSbyDI4bJyx7awSUZIycPN1vKZg1PN4B b1NMcmJHv0FGHyN9iU/fKvNitVoVC2qogaSYAujQjw0JKB7SyLzp9TLQwrI9Qs1NBSRi/cQm bOb+z3+fYsiXCVnVcbfV+KuxQi+vF8bg+NDYHHLKdhyJmTpqYhjFDPthNAwM+UzGAXl1BqH5 VzHHyVCte3ppqkr+uLonoGBlZ+iSMFlL3pZHk7azLe4Djbb9Wyd2r19UP6EUDTedWHs8oCwT L9x48CnFcYYjXB2s4ZYOJR6/5IUvtfAiedT8VV5IS/tcV+uNIJFHlCH+st+7ot22b5TvFqNa HKlo9V1F+2AB5L4LQQ3OgEgU+Wk0MMUkBn06dAeAh3zxA1zzYq9fXRiBTu+ow0DE+ItK6Ig+ /krh+AO4Q/mihYKDMePvhoJy0uydE4/Q4cVnbBEJrT0izgb6EBIOr3dLS7U3KuhSftxNmsSH zvFo5aa2pp9wBLZfmsRBEr9+7NXpa4ztSBgyH4AIFW0meT5uMIn4S0J8RkKSlV68xYW9cNyJ WlhCGNtL4qs4TpDpZZOTkKsKS57FTyb/U3DkQIJnVLGUnjyB3DsLXI8C8mJ7ks242JRRRkF3 bC6mULOcyfmQ9H15QQ2AXVakv3EScdg0DHNg+W1Np2hM6RiRAH6k4iCQHEtqSr3Je8Q32r5/ fJL+sR0Yo3FbR8gmbUxUdSm5O5BWSK6K3xnatA/2bECAkX3Wiy4gBqKIGCPIvJ9HeTAqxKEO pY/N/B0dkqM0QiVpWomHo8KGbh/mcAp6Pcker/GIW0nsaOVngF2saD/pzTPu2s2f+pAycoNC JvdVzanIFyigXF5n2zsrs4dHkGaZdICRhP33cHr0eEvOq8AjtpRchAJ4uPph0mWDQppxALLn QXhY6SN8fdu574xlKTRE4JCJT6OF/XNaMqy/jqO7ut+NeH0DZ+Wtic+iEXWAABNDL5AB/V1j eustfD07mPkvZE3cWbTpLeZHYIU58/oBOtzGeD0JUl8giGtdpLN4RwC2mbgMr1PsopXyfeGT juCSvmbVIAqSfYE41ZKeQ1yLg07N53nSovB+QassOWqCDUG9A7MceOc6n7iaF9Eeh8yO5HRD hH+v9Cs7It6qLtgKQAlBfZ0JY1RO37mBLUbcuPuuQmiDmWHhk2Ivp3gn0EC7RDJEny1L9bo0 6naRxTRdAWAh4+Q9Yt367dNhxwwCGpxpcISfUhHot5/tG2cPV48dO8YNc0LN4FQninMz6rHX TDqblY5KCDDTD9BIATd4tPiY1+lPdYwGOzFfx4nw0DFTB2NJtKwMOM0vGMoqXJ7YSDqw+ybO MkTsC+4dAS4xpZyA/0f/LqniONg3enX3W8M5Vu7qcHpHhICGv8f4RSNxuaWufDvSKkhVXknJ FTZgUhBSUC/DErzSINuIiEPXh4euzzrwnMjaiLnLBMzfWmE5LUo9RE9E7ibPn4/gAAiK7sHR HexTGyIi4xT8mJGorMn4rrFnoctYc9m3aGGwGvLSggbnqX24WMiVy/HcezjU+l6kDNi/5jhe vVALpTw6Ilp6Kyc5VFO9Tg0xg== IronPort-HdrOrdr: A9a23:rW8hUaHgdLWlJYF8pLqE0seALOsnbusQ8zAXPiFKOHpom6mj/f xG885rtyMc5AxhO03I+urhBEDjewK4yXcd2+B4VotKNzOW3FdAQrsSirfK8nnPH2nR+Idmup uIsJITNDQzNzVHZArBjjVQ2uxA/OW6 X-Talos-CUID: 9a23:bGfbNW3IeK3YEtKgdE7K87xfNMo6cmPG5lnrEmCYDH5FS+GLbwSA5/Yx X-Talos-MUID: =?us-ascii?q?9a23=3AcJNO6gzyb/1OeqjZyF+t81w9tt6aqKqDS2s8qdY?= =?us-ascii?q?kgcyVPA9MCievlmiwUoByfw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.12,273,1728943200"; d="scan'208,217";a="105233053" X-MGA-submission: =?us-ascii?q?MDEvSu5Ly6r7fYtVWgO/TCG7w602+SAsoWvyvw?= =?us-ascii?q?AsvXQ9QStD3HXRZYKqo3E2ePAwepIpn4XFeDdtdSxNseukDbvIE1cFyu?= =?us-ascii?q?IHjbubI/dvtkiMo3nfBFkikev04ZEy0Y6xPwiEMvbrpp3YPf3B7P5xUi?= =?us-ascii?q?R3trIYYQNiVM3xdRZZT18lLw=3D=3D?= Received: from mail-lj1-f172.google.com ([209.85.208.172]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 29 Dec 2024 05:39:09 +0100 Received: by mail-lj1-f172.google.com with SMTP id 38308e7fff4ca-30039432861so94687131fa.2 for ; Sat, 28 Dec 2024 20:39:09 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1735447148; x=1736051948; darn=inria.fr; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=/J5fhL3gC7z4PXAM9FXagG81TTSOZuke2CvRs3P9P/s=; b=kCj41mVGSYrPvssYVrQl4AhegLyHsL9/0BvWRwxPhWV+U7cF+A+p0sCOULo7fdTArK Qak8EmMB7mAUb/M311skn/CUYjkZKeQM2ewATFSjGmz7R44JnttZwUVyXBsd1Jcc67x6 5NhIyjzKgw/Tz2lAfwtXdgMdcjRnRnhqIzOQS3UHDUAIqMavelGdtfv6KJ5BLcZSdK3+ 5EHMiT8X/Azd0J3xuBNAG0z+U/K8VlB1Aub+VHaUkG6gQJi5X33PoRkZ29uTpHkNf9rZ dgQnB4fXw1rn2tegB1JtcFZ4kKIUNgN+Xcboj5uz7EtZ4QEs31SaUe97ahC+UPVdkleS U2lA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1735447148; x=1736051948; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=/J5fhL3gC7z4PXAM9FXagG81TTSOZuke2CvRs3P9P/s=; b=p6baGWC1xufs5hZuK9i6dpLtT94RH7roZdz7YAIL7wfkTCZ3Glwc7g2DVH863o8sWe DyBCsm/wsMDNpx7fMSj4UEQfTH6BCYRr6QkFgGnfkg3hZEym9Smcx3sybLECz0pNGkGE aRAyNz3nJ9VOD4fqH3AWFKFas/0WIVJyP/QvywLuz1UbCcKJYyiWVBByrf95GTqSMUAF OY9lSvdHVtzqMnxk7LpXxT77dRxNPQ5L3MsgGktgDcD9FNK8uDjoz1s90wj1D99Pu+yT d6UTDFkXhPgtXCxKu7d+XCWbW6mD8CMgQIJduYVg5VIFdaGFC+YilFbY/CCMmM6Us4A+ 6Usg== X-Gm-Message-State: AOJu0YwaSZ0IH2sO/YiJcOTE+0Bh9TIekVw2jj2hdjrozuYnDzEz57W7 P7cCdwy3Ohi9KlbN3DCGfwjUKYknuQxkPAXC5bCdd0Wy/wteOAvNVe5b1nbG5NiCwQrQSwGIzNE Y+hj0pmtCeuEOaTa24kRwZwApfyi4Xt6h X-Gm-Gg: ASbGncuVwRrPrUpVdzSSmoY+qH9fhUINi0aQlnYok+P1qyZG4sfS0fk+D0jCPkSn1iJ R5oVoGLu4cIW0GGaeKQQPAht2vn9ElhF9mbRllw== X-Google-Smtp-Source: AGHT+IHuPRQhhe1qvAjCPC3/OwUw+dkxJ6Tg5tkuzBwOX2ajBvMWJOAO/4HJIQXTkGMgi68nTnRPPRRnkq1wKCiCzZY= X-Received: by 2002:a05:651c:1a0a:b0:300:3a15:8f1f with SMTP id 38308e7fff4ca-304685c2ef9mr132459571fa.32.1735447148123; Sat, 28 Dec 2024 20:39:08 -0800 (PST) MIME-Version: 1.0 From: Kenneth Adam Miller Date: Sat, 28 Dec 2024 22:38:57 -0600 Message-ID: To: caml users Content-Type: multipart/alternative; boundary="000000000000ca5ee7062a614691" Subject: [Caml-list] Unknown backend: llvm Reply-To: Kenneth Adam Miller X-Loop: caml-list@inria.fr X-Sequence: 19243 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: --000000000000ca5ee7062a614691 Content-Type: text/plain; charset="UTF-8" I'm working with BAP and I get this runtime error. I presume it means something llvm related needs to be installed. dpkg --get-selections | grep llvm libllvm14:amd64 install libllvm15:amd64 install llvm install llvm-14 install llvm-14-dev install llvm-14-linker-tools install llvm-14-runtime install llvm-14-tools install llvm-runtime:amd64 install But the list of llvm packages is really long, and I'm not sure exactly what to install. --000000000000ca5ee7062a614691 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: base64 PGRpdiBkaXI9Imx0ciI+PGRpdj5JJiMzOTttIHdvcmtpbmcgd2l0aCBCQVAgYW5kIEkgZ2V0IHRo aXMgcnVudGltZSBlcnJvci4gSSBwcmVzdW1lIGl0IG1lYW5zIHNvbWV0aGluZyBsbHZtIHJlbGF0 ZWQgbmVlZHMgdG8gYmUgaW5zdGFsbGVkLsKgPC9kaXY+PGRpdj48YnI+PC9kaXY+ZHBrZyAtLWdl dC1zZWxlY3Rpb25zIHwgZ3JlcCBsbHZtPGRpdj48YnI+PC9kaXY+PGRpdj48Zm9udCBmYWNlPSJt b25vc3BhY2UiPmxpYmxsdm0xNDphbWQ2NCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDC oCDCoCDCoCDCoCDCoCDCoCBpbnN0YWxsPGJyPmxpYmxsdm0xNTphbWQ2NCDCoCDCoCDCoCDCoCDC oCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCBpbnN0YWxsPGJyPmxsdm0gwqAgwqAg wqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAg wqBpbnN0YWxsPGJyPmxsdm0tMTQgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAg wqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgaW5zdGFsbDxicj5sbHZtLTE0LWRldiDCoCDCoCDCoCDC oCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCDCoCBpbnN0YWxsPGJyPmxs dm0tMTQtbGlua2VyLXRvb2xzIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKg IMKgaW5zdGFsbDxicj5sbHZtLTE0LXJ1bnRpbWUgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAgwqAg wqAgwqAgwqAgwqAgwqAgwqAgwqAgaW5zdGFsbDxicj5sbHZtLTE0LXRvb2xzIMKgIMKgIMKgIMKg IMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIGluc3RhbGw8YnI+bGx2bS1y dW50aW1lOmFtZDY0IMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKgIMKg aW5zdGFsbDwvZm9udD48L2Rpdj48ZGl2Pjxicj48L2Rpdj48ZGl2PkJ1dCB0aGUgbGlzdCBvZiBs bHZtIHBhY2thZ2VzIGlzIHJlYWxseSBsb25nLCBhbmQgSSYjMzk7bSBub3Qgc3VyZSBleGFjdGx5 IHdoYXQgdG8gaW5zdGFsbC48L2Rpdj48L2Rpdj4NCg== --000000000000ca5ee7062a614691--