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=mFcZBRuu; 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=dHYlp2vV; 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 1872C48E3C for ; Sun, 29 Dec 2024 00:49:36 +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=KLj3xAZ5h6fDTKn+tWgxoxU/EyKtSB2DS06RSmMYBeE=; b=mFcZBRuuDVuok1hEbivdwd/Wcay0cJi71GAD0tMyNM3Pa8QnfwS282+8 0clYGo3opPasUhe2Qgo7ooAnBHbrxc1FtWEXi9JPApi1Agj5rZH+nPzvl OpihA5oy+lR5Mk+09VTYqDSC5AogQgfFzXXkQeSOXKJwG41HMG+BNmLhW c=; 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="200933273" 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 01:49:35 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id B33B6E0D1D; Sun, 29 Dec 2024 01:49:35 +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 15175E0077 for ; Sun, 29 Dec 2024 01:49:34 +0100 (CET) IronPort-SDR: 67709c9d_/oyebnozl6LfedgKRdVZeIG5Hco7V0QhH/8ylgT5ZIye3jO I4otlt80vDuiL2F54QzRuPtFdDzZeRwlJtipwTQ== X-IPAS-Result: =?us-ascii?q?A0HyAwCRm3BnfLLQVdFaglyCRH1ZNAQLSGGDdYEjgiyLf?= =?us-ascii?q?oF/BSCeGIFAPg8BAwENMRMEAQEDAQOFAAKKbwIeBwEEMgcOAQIEAQEBAQMCA?= =?us-ascii?q?wEBAQEBARABAQUBAQECAQECBAYBAhABASIZBw4SKYV7DYJbO3FhAgUDOgEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEFAiw/AR8BAQEDE?= =?us-ascii?q?hEdARseAwwGAwIEBw0qAgIgAQERAQUBHAYTCBqCYIIvAQMxA5gkj0CBBUKLP?= =?us-ascii?q?oEVBQIWgQGCDQaBCdlTChkoDWwDgWECBxSBNIR0KU4OAYI2HgGBXAIOh3x6J?= =?us-ascii?q?xuCDYFKgQaBbz6BUE+CcoMNgkciBII1gxWDSYFvi3YdL4IujWwmCAcXAwcHC?= =?us-ascii?q?QUECRMGBQUCQgkFAQ8SAwQDBAQBAgsJCgkDAwIOAggDAggGGQE/EgQTCg0LB?= =?us-ascii?q?wUfCAMHDBEKKAMiBA4RHA8BAgFbBTQBCwMHAggCAgYDAgIEFAYDBQgDAgUFD?= =?us-ascii?q?QICCgIEAxUEBA8BAQIeAgYBAhABBwICARQCCgMCBQYHAhwCAgMDBAQDAQUDE?= =?us-ascii?q?gMLAQUGBQEBBA4BAgECAQECAwMOAgIDAwICAQkCAgEBAhQBBAMBBwIFAwUDC?= =?us-ascii?q?gEBAQIBBAkEDQYDBQMDBwMEAgMCBgIEBAEEAgIDAwIDAQMDAgECAwkCAQ8PC?= =?us-ascii?q?Q8CAgMEAgYCAgEEJgIBFQUCAwQCAgcCAgMBAgECAgIEAgQCAgYDCQgBAgIHA?= =?us-ascii?q?QICAgMVAgUBBAkDAwUSDCADAgICAgMHCgMFAgEBAgQDAwMDCQ0HAgMBAgEDB?= =?us-ascii?q?QMBAgECCQMGAgIDAwUSGQUDAg8DAgEFBAIIEgsHAQEPFAUECQUVAwYCAwMWC?= =?us-ascii?q?wQFAwMDAQwPDgICCwMXBQEBBwEDDQgDBAQCAwMJAgEQAQMEAgkCBAECCgICA?= =?us-ascii?q?gICBAEBBQQCBAMCBQICAQgEAwMDDQQDCAgDBQMMEgICAgkCAwECAwMDBA0IF?= =?us-ascii?q?g0DAg0YChUTBwcDAwQLAgkDBA0CBAICAQYDBgoGFgECGAICBgwEAwMIAwIDA?= =?us-ascii?q?gIBAgICARECAgkIDQUJBQYCAhUDAgMIAQkDDwMCFAEGAggDBwEBBAICChEKA?= =?us-ascii?q?QECAgEGJwMBAQIUEwcDCAICAgIGFgwBBQcDBw8FBQQCAhYDAxIEBBACAgMDA?= =?us-ascii?q?gEBFAYVAQUCAwYLAQYBAgUEAgMEAhICAw8DBAMKAg8DBgMEBgMBAgwQAgQCC?= =?us-ascii?q?QoBBQQDBwUCHwMDAgIFCwIIAgIFAgUHAwkOAQIFAwQJAhQCEAICAgIIFwICA?= =?us-ascii?q?gUGGAMmAgQDAwMDCwECAg4JAwQ8BhMEAgMDAg4BAgILAQICBAIDAQQHCQMDC?= =?us-ascii?q?QoHAQoNBwICCggJEAECAg8HAwICAgIGBw4DAhMPBQYGAgoHDQoDAgECAhMCA?= =?us-ascii?q?wkGAwUNAwcECg8CFQIWBQMgAggJCwIHDgUCBRIDDgUDAgISBAIDBgUDAQcBF?= =?us-ascii?q?wMHCAICDAICAgIFAgUCBRgRAQ0EAwMDAggBBBUGAwkIKggEAwsGHQICAwIEB?= =?us-ascii?q?QEBEgEBAQUBCQIDAgMECAMDAwMCAwQMCwIBBwgDAwYLCAkGAwIHCBkDBQQDB?= =?us-ascii?q?wULIQIGAwIEBQQBBQIVDQIDGQIGAwYUCwwCBg4ICQMHAQEBAgICCAEFBQwJA?= =?us-ascii?q?gMEAgUEBAEBCAMDBAYCAQMCAgIBBAIKAgECCgIICgEJEwQDCAMDAwMDBQEBA?= =?us-ascii?q?gIKBBMFBQIBBQ4TDAkKBgMHAwQCAgIQHQIJAyMPAwsJCBM9AQsHMgQ2ARQUB?= =?us-ascii?q?yshX5xuAUaEbhOBRwWmZItylCBxaIM8jBiPN4YRM4VbpHeYfJIIlxMRIxKBO?= =?us-ascii?q?QEygVwzGiNQMYI2CUYDGQ+SG4QgrSEnMjwCBwEKAQEDCY9ggUsBAQ?= IronPort-PHdr: A9a23:9P7UoxAwMT5e3GHSwTMZUyQUJUoY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua40ygaTBs6BtLptsKn/jePJYS863d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbghGmTaxe65+I Au4oAneqMUbg5ZpJ7osxBfOvnZHdONayH9yK16Ugxjy+Nq78oR58yRXtfIh9spAXrv/cq8lU 7FWDykoPn4s6sHzuhbNUQWA5n0HUmULiRVIGBTK7Av7XpjqrCT3sPd21TSAMs33SbA0Ximi7 7tuRRT1hioLKyI1/WfKgcF2kalVog+upwZnzoHbboGaNvpwcK3ec90HW2ROQt1cWDZdDo6md YYDE/YNMOReooLgp1UOtxy+BQy0Ce3q1DBIgHn20rMm0+QhDArLwBEvEMgLsH/Jq9v1NaMSU eSrw6nS0D7OaPBW1in76IjObB8hvfGMUqhtfsXLzEkvEgLFjlGUqYP7JTOYzesNs22B4OphU eKjkXIoqwZ0ojW2wMonl4bGiJ4PxF/e6SV53Jg6Jce+SENjb9CqEIdduzyUOoZ5Xs8uXX1kt SU7x7AEp5K2fysHxpskyhPBdfCKbZSE7B3+WeuVPzt1hHZodKyiihuz8kWtxOvxXdS63lZNq ypKiNjMtnYV2hzW6smHTedy8V2k2TaLzA/T9+BEIUQpmqbBLp4hxrg9nYcQv0TbBiL6hln6g auMekgn+uWk8frrbqnlq5OGKoN5iALzP6IzkcGhBeQ4LxMOX3SF9uSmybPj/Ez4T6tSg/Eql KTSrYrUKt4BpqGjBg9YyoYj5Ai7DzehyNkYmGMILFNBeB6ei4jpOUzCLOn2DfuigVmhky1nx //BPr3mDZXNKmbMnK39crZ67k5Q0AszzdZB6JJIErwNPu7/V0vruNHbDhI1KRK4z/rkBdlny 48TW2GCDrecMKzIsF+I4uwvI/OLZI8QoDv9KOYq5/jojXAnhV8dfbOm0oYNZ3C9G/RmIkGZY X7yjdcbCmoKsQ8+Q/briF2GSzJce3GyX6ck6jE9E42pFZ3DSZy1gLydwCe7GYVban1eBlCWD Xjob5mEW+sLaC+KPsBuiDkEVby4R48l1BGurxP6xqF8LuvU/y0YrYjs2MJ05+3VjxEy9CZ7A 96T02GXHClImTYDTjoylL1krFZmggOI2K18xvhZDsB75vVTUw58O4SKnMJgDNWneQ/HeNqVS B6PTtyjSRQwStY82ZdaYEt7Hdi+jhnP1i+vArsRmqajC5k986aa1H/0cZUug03a3bUs2gF1C vBEMner0/YXH2n7AofIlx/cjKO2beEG2yWL8m6fzG2ItUUeUQhqUKyDU2pMLlDOo4Hf4UXPB 6SrFaxhKhFInM2PLK1Hdt3ggVxDQfbnPNnES220kma0Qx2Pw+DEd5LkLl0Uxz6VE00Yi0YW9 HeCOxI5A3KirmTYASBuHF7mZkbt9e1zslu0S0Y1y0eBaEgyn6Gt9EszgvqRA+gWwqpCuColr GBsG02h2tvNF9eajw9ofaEZZdFkpVkeijKfuAt6MZitaatlgzbyaixRuEXjn1VyA4REy40xq W8yiRB1IuSe2U9AcDWR2dbxPKfWIy/85kLnbamewVzY3NuMn8VHoP0lt1Xuuh2oHUs+4j1m1 ddSyX6V+pTNCkIbT5vwVk898xUyqavdZ2Ex4Ibd1HskNqfR0HeK2N8vAuY5yh+sdtJaMaeAG RXaHMgTBszoI+sv2hCoYh8CIOFO5fssJcr1EpnOkKWvPetmgHenlTEduNE7gh/KrXIsDLeXj 8VgobnQxAaMWjbigU30t8n2ndoBfjQOBi+lziOiAodNZ6p0dIJNCGG0IsTxyM8t4vylE3Ne6 lOnAEsLncGzfh/HJV/w2wtdyUQerXWinCq8yzFuuz4sp6ubmifJxq6xEXhPcn4OX2RkgVr2d MK3gtYcUVSoZgQgkR6k4UL33YBUoa1+Ky/YRkICLE2UZylyF6C3sLSFectG7pgl5D5WXOqLa lefUrfhohEe3ksPBkNmzSsgP3Gvs5T9xVlhjX6FaWx0pzzfcN1xwhHW4JrdQ+RQ13wIXnswh T7SD1m6d96nmLfc35TOtOazS2KoWpRWdCjvyY6anCS+7GxuRxa4mri/l8bmHg4zzSLgn4MyB GOY8VCmOtmtjvvqeet8GysgTEfx8c97Bp1znsMriZcc1GJbzpSZ8HwbkHviZNBS2Kbwdn0IF ltpi5be5Ano3lEmL2rcndqoECXAhJE5N5/jPTNFv0B1p9pHA6qV8rFeyC58o17i6BnUfeA4h DAWj/0n9H8dhegN/gsr1CSURL4ITiw6dWThkQqF69emoeBZfmGqJPKz2Ux4kMyhBb2LpwRdX HL0YL8tGCZx6oN0N1eGgxiRosn0PcLda94erEjekBrGieVJKJs9n/8PhC5jNHjVsngsyup9h htrl8Lf3sDPOyBm+6S3BQRdPzv+apYI+z3juq1Zm96fw4GlGpgyUiVORpbjSuikVS4Drfmyf RjbCyUy8z3IfNiXVR/a8kptqGjDVoymJ23CbmdM1s1sHVGcPBAN211SBWRi2MRlSUbyg5a9O EZhumJPuhii8UAKk7wwcUG4Cza6xk/gay9oGsbBakMOtEcaoR+Sa5TW7/ovTX8GuMf9/Urdc irDIF4QRWARBh7bXRa6Yv/3tIOGq6/BVo/cZ7PPeenc9rAYDq3Vg8rpisw/oX6NLpndZyEyS aRkhQwTGyg+QZ2Rmi1TGXVIzGSUPpLd/FHkvXQpy6L3uPXzBFC1vdrJW+YUaI8/vUjx2PjLN vbM1nwgd3AFhtVVlCWOkP9GjRYTk308LWDzV+5b5GiWFuSI3fYGanxTIzV6MM8Ch04l9i9KP 8OTytb817oiy+UwF08AT1vq3Megec0NJWi5clLBHkeCcrqcd3XNxInsbKWwRKc17q0cvgCsu TudD07oPyiS3zjvWRe1NOhQjSaddBVAsYC5exxpBCDtVtXjIhG8NdZ2i3Uxz9hWzjvSMnUAN DFnb05XhriZ7CcdhvcmXmIYsSojIu6DlCKUqeLfL9desPdmBDh1i/MP4Hk+zOgwjmkMT/h0l S3O69929gv+w6/fl3w9CEoI82kb1+fp9Q14NK7U94dNQyPB9RMJtyCLDggS4sFiAZvpsrxRz d7GkOTyLi1D+pTa55h5ZYCcJcSZPX4mKResFiTTCV5PTjOtM2zDh0VRmfSX93mRo4ISpZ3lm Z5IQbheHg9QdLtSGgF+EdoOLY0iFCsjiqKehdUU6GCWqRDQQIBevMmCWKvNUbPgLzGWibQCb BwNi+CdT8xbJsjw3EpsbUN/lYLBFh/LXNxDlSZmaxc9vERH9HUWpogb1Efsawfr63gWR6bcd v8ejwJ/ZaEp9m6p7Q5odhzFoyw/lER3ktLg02j5mNHZI6K5XIUQAC3x5RFZDw== IronPort-Data: A9a23:pzURB68YdVbQ04yuwsgoDrUDOXqTJUtcMsCJ2f8bNWPcYEJGY0x3z GZNDGCFPPneZGOgKI9yPYy0oBhT6JTUz9FmHFFppCxEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPymYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWcuWo4ow/jb8k825q6i4GhwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TE/ewzDkIzepUj2MEoAUZQ0 eI6EDwCYUXW7w626OrTpuhEg80iKIzvPtpatCg/nXfWCvEpRZ2FSKLPjTNa9G1o14YeQLCEP 5pfMGU/BPjDS0Un1lM/C584muq0hnDzejhdqVaRqLAf7G3azQg327/oWDbQUobSHZQOxRzF+ woq+UypPxUYJcK4zAHb0V/8lvGUhiHdZ5sNQejQGvlC2wDKnjNCVnX6T2CTqvC8jgu6WslDA 1cF/zIn66k07k2iCNfnNyBUu1aBtx8YHt5SSqg0sV7djKXT5AmdCy4PSTsphMEaWNEeeyV31 FyM2MvSJxswsJqLbWy/zrubombnUcQKFlMqaSgBRAoDxtDspoAvkx7CJuqP9obl0bUZ/hmgk 1i3QDgCulkFsSIcO0yGEb3vhjutot3NTFdw6FyIDiSq6QR2YIPjbIutgbQ60RqiBNfDJrVil CFb8yR70AzoJc/U/MBqaLtXdIxFH97fbFXhbaRTN5cg7S+x3HWoYJpd5jpzTG8wbZ1ZJWaxP xSC5lsMjHO2AJdMRf8nC25WI5R6pZUM6fy/Dpg4k/IXPcghKlDdpEmCm2bLjjCzzhVEfV4D1 WezKpv1VSlLV8yLPRK5QOAS1bJjxyY1gwvuqWPTnnyaPU6lTCfNE98taQPQBshgtf/siFuPr 753aZDRoz0BC72WX8Ui2dRPRXgQM2MBDIz7w+QPMLHrzvxOQjx5U6e5LHJIU9ANopm5Yc+So iHgAx4HmAqm7ZAFQC3TAk1ehHrUdc4XhRoG0eYEZD5EAlB6Od3zvpQMPYA6Z6cm/+FFxPt5B atNMcaZD/gFDnyN9z0BZNOv5MZvZTa6tzKoZiCFWTkYe4I/Zgrr/tS/QBDj2hNTBQWKtOw/g Yaa6CXlfbQ5ST9PMuPqedO07lbovXEiiON4BETJBd9IeXTTyothKg2vr/puI8gzNgnJ6TyK8 zmnETEKqvT/+d4rwoPZgYSBiZmjKMplP09gB2KAx62HBSrb2WuCwIF7T+eDew7GZl704KmPY eZ0zen2Fe8uxnJmgtFZKKl6654+6//Eha5o/i49EFrlN12UW65deF+Y1sxxh4hx775+uzruf HmQ+9NfaI67COm8HHE/fAMaP/m+j9cKkTzv7NMwEkXwxAlz2JGlCUxyHR29uBZxHYtPErEO4 Lke4ZYNygmFlBAVHM6MjXlU+0SyP3Uwafgbma9AMrD7qDgA6w9kWoPdOB/U8ZvUStRrM2sWG BG2qpfGpYxhwhvlTyJuO1nLhfFQlLYfiiBslVUiHWmEqvDBp/0w3SBSzwgJcxRo/k159Nx3a 0dWNBxTBKSR/j1XqtBJcEKyFipgWhCI2EzD5GEYtW/eTnvyD2zEE3IgCLzc4GEY7GNuUTxJ9 56IyGvecGjLfeOg+gAQSEJau/jYYtgpzTL7meejBNWjI5YhRCjM24uCWDItkAT2Ju8Un2jFl PlO0McrTpOjLg8WgakwK7fC5IQqUBreeVBzG6Bwzp0GDUT3WW+XyzORD2uTZ8kUBfjB0XHgO vxUPsgVCiiPjnefnAs6W5wJDaR/xsMyxdw4fbjuG24Knp2fohdts7PS7iLOv3Aqcfo/jfcCL p7tSBzaHlyynXd0n0r/nPtAMEe8YvgGY1TY98Kx++MrCZkCkb9NdWcf77iKhEiWYTBXp0+sg AD+ZqHt37NDz6ZolNDSCaltPVi/Bu7yc+WqyzqNlepyQ+nBCur0jDNNmGLbZ1xXGZAzR+VIk a+8tY+r/UHd45czfWPru7iAMKhr48+NcvJdGZ/1JiMCnA+peszl0z0c8U+WdL1Ll9J84JG8Z g2aMcGfS/8ca+1/9lZ0NRdMMk86ILvlS4vdvgWBluSoJjlB9B3YPfWl2GTMb2oGRhQXOpb7N BD4i8yu6v9cso5IIh0OXNNiPLNVP37hXrkAZfTqlDzFEFStvEyOioHimTUk9zvPLHuOS+T+w JDdQynBZAaAg77JwP5Zor5NkEUuVlglutYJf2UZ59JSoBK5BjRfLe0ibLM3OqsNmSn2jJzFd DXBaVU5MhrEXBNGTA7d5eryVQLOF80MPdbEfgYSxX22UBvvJo28A+pGzBxCskdGIm6piKntL NwF4XT/MySg2pwjF65Z+vW/hvwh3f/AgG4B/UfmicHpHhICGvMw2Wd8GBZWHznyey0XeJ4n+ UBuLYyFfK26daI1OcNpenoQHBNA+T22kGVuYiCIz9LS/Y6cyYWsDRE51/7bitU+gAYifdbih k8bg0OC5mmX3joYvq5BVxcBn/pvEfzSdiSlBPaLeODR9p1cLkwoOsoDmWwES8RKFMuz1b/Cv mHE3kXSz3hp5KycNHN6BOnJF19MvqowMgz0 IronPort-HdrOrdr: A9a23:E182SajejlQ3E1EEc3Eu80oNtXBQXuwji2hC6mlwRA09TyX4rb HXoB1/73XJYVkqKRUdcLy7Scy9qDbnhPxICOoqXYtKPjOW31dARbsKheDfKn/bak7DH4VmpM FdmsZFeaTNJGk/o8K/zgfQKbkdKRq8nJxAR92y856gd29XgmhbjjtENg== X-Talos-CUID: 9a23:wNMbOGA7VFstsID6Exd+qUwXH4c9SV/6k3f3PWumK15lR7LAHA== X-Talos-MUID: 9a23:zueY9gpba4NdysUkpugez2FfMMV5/YOrMx4uvMUWpZKfNwpPIijI2Q== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.12,273,1728943200"; d="scan'208,217";a="200933255" X-MGA-submission: =?us-ascii?q?MDHo1swJm1rCTVBjzh+Xkmq6senF4AL6JGIzAE?= =?us-ascii?q?4N+TP7bYdEeWlhibCpeLUCK3S2FB5Ter/hb4pIjfmvVcDnGmyNpt1t7e?= =?us-ascii?q?fc/yS/2iukcy0y/0eAdOlbX2fIs9mo9pvhGfAH3um0iHKxvtP6gohaWT?= =?us-ascii?q?Qsi3u1Iv4UYCXfQNgVvXMe5g=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; 29 Dec 2024 01:49:33 +0100 Received: by mail-lj1-f178.google.com with SMTP id 38308e7fff4ca-3035210e2d1so75540021fa.2 for ; Sat, 28 Dec 2024 16:49:33 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1735433372; x=1736038172; 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=KLj3xAZ5h6fDTKn+tWgxoxU/EyKtSB2DS06RSmMYBeE=; b=dHYlp2vVJo5qBaY/pEXqZVqJl6ZCeMTyw7t4vjMJvZ/LZgnbT3S42TM0mzzmnCGVr3 EmKaEarxn6PrsbL3UXqC/mPguIC1na8sW+Zu2lJN7Nmu2uTWRebXVHWsmk4RgYFiFuNW LhkX3b+eK/TBLDX/XlMdHEhQ4TZLgdRqOLZoukJF8kxltL/0vVedJbkz9u5JSigl3Q67 Wkc6HV+TlXaw7E6y2Ro9Snys7dEaugfkWzwB0eo3o1JXArktl4Ex7bjMFi4QxYPrQN+F bLYsWYh4HT+wRh2Lju1eK7jXeitLpNvZSuo88mjVSHK07yhlqhBohQKV8ZWQLBUifY0Q j+Tg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1735433372; x=1736038172; 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=KLj3xAZ5h6fDTKn+tWgxoxU/EyKtSB2DS06RSmMYBeE=; b=Lbt2XyiHR3ERkHou7Cl16Wu7JjUJ+WGlk4XcLBy+XRh4SPq/6UnUhGjJVWD8T4W0XI 7Ceea2EeCBL5EIULCuC4Et3MUh9t6iNBX6D0GAWCo3gFhsJqz2t6yWHIzoL8e32abz43 ZUMU1iX5M0jcSFs+WqGebCpxDNvZ81rii/qv+RsJNr+wPuyJFwEHpCR23c3acSDiZKxG xcKDWlknt0N1YQRpCA1UEbvgkn2RidPXFcaVarfXQT4Iw/2Z31vkVteTH8or9dDcKh48 n7Dkk8Hm7BDc7lZVX622Mz6UI3MPGOQ+IfSDe4Um/RflXBmPSSiKsb9D438+6bQtlpCx hcTQ== X-Gm-Message-State: AOJu0YwfPffg8Ht2dl8Y/H3eKpJOs5xKXJ0s2/0SPo+mHSgh9A9z6bWh gXJJ+WiunMX+gJk0C+XmXqf9cYxD7nBeld/GHmxcMSFD5C23pE4fS9OTXjKWZKBhRF5sMByiQ1g QuCcLCQjqmxHizh97Dx+6oIzp38+X+LFa X-Gm-Gg: ASbGncscQ/DBlgvb0C72pL7y62+o9JuGg9xCrw2pUx0Jkp2jj36sS154ssODPVoBPF/ oOaVqlsMq2nxuOcytiSzlb0EDeDKri6DOuT4XQA== X-Google-Smtp-Source: AGHT+IHwCl58FIa68vkfzJlkgsFDx1mYE6dFQA4W9i9tqRJwkilISVAU0lGSHU6pGf9gnUpyJNlCR1TkjT35D3NgQTs= X-Received: by 2002:a05:651c:545:b0:2ff:bb68:4233 with SMTP id 38308e7fff4ca-3046862f303mr120201761fa.33.1735433371732; Sat, 28 Dec 2024 16:49:31 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Kenneth Adam Miller Date: Sat, 28 Dec 2024 18:49:20 -0600 Message-ID: To: caml users Content-Type: multipart/alternative; boundary="000000000000a751b2062a5e1151" Subject: Re: [Caml-list] Fatal error: algorithm file not found Reply-To: Kenneth Adam Miller X-Loop: caml-list@inria.fr X-Sequence: 19242 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: --000000000000a751b2062a5e1151 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable I fixed it with sudo apt install g++-12 I suppose that should be added to apt-get install dependencies. On Sat, Dec 28, 2024 at 6:22=E2=80=AFPM Kenneth Adam Miller < kennethadammiller@gmail.com> wrote: > + `which clang++` -O2 -std=3Dc++11 -fPIC > -I/home/kennethadammiller/.opam/4.14.1+flambda/lib/ocaml > -I/home/kennethadammiller/.opam/4.14.1+flambda/lib/bap -Ilib/bap_disasm -= c > lib/bap_disasm/disasm.cpp -o lib/bap_disasm/disasm.o > lib/bap_disasm/disasm.cpp:2:10: fatal error: 'algorithm' file not found > #include > ^~~~~~~~~~~ > 1 error generated. > Command exited with code 1 > > More precisely specify error. > > On Sat, Dec 28, 2024 at 6:18=E2=80=AFPM Kenneth Adam Miller < > kennethadammiller@gmail.com> wrote: > >> I'm trying to install bap, and I ran into this error: >> >> lib/bap_disasm/disasm.cpp:2:10: fatal error: 'algorithm' file not found >> #include >> ^~~~~~~~~~~ >> 1 error generated. >> Command exited with code 1. >> + ocamlfind ocamlopt -package unix -package ocamlbuild -linkpkg -package >> findlib myocamlbuild.ml >> /home/kennethadammiller/.opam/4.14.1+flambda/lib/ocamlbuild/ocamlbuild.c= mx >> -o myocamlbuild >> >> >> My llvm version is 14, I think and I'm on Ubuntu 22.04. I think what thi= s >> has to do with is the default list of include directories that clang >> searches when compiling. You would think that C++ ought to know where it= s >> own stdlib is, but apparently not. I think I am looking for a environmen= t >> variable option to allow to pass in to ocaml builds some include directo= ry. >> Either that, or a downgrade to an llvm version that works. Can anyone he= lp? >> > --000000000000a751b2062a5e1151 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
I fixed it with=C2=A0
<= br>
sudo apt install g++-12=

I suppo= se that should be added to apt-get install dependencies.

On Sat, Dec 28, 2024 at 6:22=E2=80=AFPM Kenneth Adam Miller <kennethadammiller@gmail.com> wrote:
+ `which clang++` -O2 -std=3Dc++11 -fPIC -I/home/kennethadamm= iller/.opam/4.14.1+flambda/lib/ocaml -I/home/kennethadammiller/.opam/4.14.1= +flambda/lib/bap -Ilib/bap_disasm -c lib/bap_disasm/disasm.cpp -o lib/bap_d= isasm/disasm.o
lib/bap_disasm/disasm.cpp:2:10: fatal error: 'algorit= hm' file not found
#include <algorithm>
=C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0^~~~~~~~~~~
1 error generated.
Command exited with c= ode 1

More precisely specify error.
On Sat, D= ec 28, 2024 at 6:18=E2=80=AFPM Kenneth Adam Miller <kennethadammiller@gmail.com> wrote:
I'm trying to install bap, and I ran into this error= :

lib/bap_disasm/disasm.cpp:2:10: fatal error: 'alg= orithm' file not found
#include <algorithm>
=C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0^~~~~~~~~~~
1 error generated.
Command exited wit= h code 1.
+ ocamlfind ocamlopt -package unix -package ocamlbuild -linkpk= g -package findlib myo= camlbuild.ml /home/kennethadammiller/.opam/4.14.1+flambda/lib/ocamlbuil= d/ocamlbuild.cmx -o myocamlbuild


My llvm = version is 14, I think and I'm on Ubuntu 22.04. I think what this has t= o do with is the default list of include directories that clang searches wh= en compiling. You would think that C++ ought to know where its own stdlib i= s, but apparently not. I think I am looking for a environment variable opti= on to allow to pass in to ocaml builds some include directory. Either that,= or a downgrade to an llvm version that works. Can anyone help?
--000000000000a751b2062a5e1151--