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=vLB0pGAn; 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=gfybF/UW; 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 5AD5248E3C for ; Sun, 29 Dec 2024 00:19:12 +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=s8QxZAaMT5zGVP74rqBKBxqIATJxx9EII9BvkgtKJ8Y=; b=vLB0pGAnVnuHt6fW2nTggVdStLyZ6q+rwJ80KnjRY5JWUaY9qZ0eeuD4 04KROwmqGgk7QPr4fyP9XE+UzzR2Tgi1WbVe+Gw+B8Ct5VNJK4uPRFQoZ HerZXMB9y0FwXKa2qftnlyXxwI8hLuYjgeCWPIiEuqSyPmh6ysymCe9MR s=; 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="200931598" 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:19:12 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 58D9BE00A5; Sun, 29 Dec 2024 01:19:11 +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 50258E0077 for ; Sun, 29 Dec 2024 01:19:08 +0100 (CET) IronPort-SDR: 6770957b_t2j0jMkqFPja0IiRgG6Qlk5miCTfQ6CFKhuJ4TyVfjLBoXg rqjj/cwj5ilRbm4NZU5I6UqCi4EqOpsovS95cZA== X-IPAS-Result: =?us-ascii?q?A0FJBADOlHBnfKvQVdFaglyCRH1ZNAQLSGGDdYEjgiyLf?= =?us-ascii?q?oVLnDE+DwEDAQ0xEwQBAQMBA49xAh4HAQQzBg4BAgQBAQEBAwIDAQEBAQEBE?= =?us-ascii?q?AEBBQEBAQIBAQIEBgECEAEBIhkHDhIphXsNgluBLGECBQM6AQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQUCLD8WIhEdARseAxIDBQEHN?= =?us-ascii?q?wIjAREBBQEiGxqCYIIvAQMxA5gljRyCJIEFQos+gRUFAhaBAYINBoEJ2VMKG?= =?us-ascii?q?SgNbAOBYQIHFIE0hHQpTg4BglQBgVwCDod8eicbgg2BSoMzgVCDQYMNgkciB?= =?us-ascii?q?II1hl6Bb4t2HS+CLo1sJggHFwMHBwkFBBwGBQUCQgkFAQ8SAwQDBAQBAgsJC?= =?us-ascii?q?gkDAwIOAggDAggGGQE/EgQTCg0LBwUfCAMHDBEKKAMiEi0PAQIBWwU0AQsDB?= =?us-ascii?q?wIIAgIGAwICBBQGAwUIAwIFBQ0CAgoCBAMVBAQPAQECHgIGAQIQAQcEARQCC?= =?us-ascii?q?gMCBQYHAhwCAgMDBAQDAQUDEgMLAQUGBQEBBA4BAgECAQECAwMOAgIGAgIBC?= =?us-ascii?q?QICAQECFAEEAwgCBQMFAwoBAQECAQQJBA0GAwUDAwcDBAIDAgYCBAQFAgIDA?= =?us-ascii?q?wIDAQMDAgECAwkCAQ8PCQ8CAgMEAgYCAgEEJgIBFQUCAwQCAgcCAgMBAgECA?= =?us-ascii?q?gIEAgQCAgYDCQgBAgIHAQICAgMVAgUBBAkDAwUSDCADAgICAgMHCgMFAgEBA?= =?us-ascii?q?gQDAwMDCQ0HAgMBAgEDBQMBAgECCQMGAgIDAwUSGQUDAg8DAgEFBAIIEgsHA?= =?us-ascii?q?QEPFAUECQUVAwYCAwMWCwQFAwMDAQwPDgICCwMXBQEBBwEDDQgDBAQCAwMJA?= =?us-ascii?q?gEQAQMEAgkCBAECCgICAgICBAEBBQQCBAMCBQICAQgEAwMDDQQDCAgDBQMME?= =?us-ascii?q?gICAgkCAwECAwMDBA0IFg0DAg0YChUTBwcDAwQLAgkDBA0CBAICAQYDBgoGF?= =?us-ascii?q?gECGAICBgwEAwMIAwIDAgIBAgICARECAgkIDQUJBQYCFwMCAwgBCQMPAwIUA?= =?us-ascii?q?QYCCAMHAQEEAgEBChEKAQECAgEGJwMBAQIUEwcDCAICAgIGFgwBBQcDBw8FB?= =?us-ascii?q?QQCAhYDAxIEBBACAgMDAgEBFAYVAQUCAwYLAQYBAgUEAgMEAhICAw8DBAMKA?= =?us-ascii?q?g8DBgMEBgMBAgwQAgQCCQoBBQQDBwUCHwMDAgIFCwIIAgIFAgUHAwkOAQIFA?= =?us-ascii?q?wQJAhQCEAICAgIIFwICAgUGGAMmAgQDAwMDCwECAg4JAwQ8BhMEAgMDAg4BA?= =?us-ascii?q?gILAQICBAIDAQQHCQMDCQoHAQoNBwICCggJEAECAg8HAwICAgIGBw4DAhMPB?= =?us-ascii?q?QYGAgoHDQoDAgECAhMCAwkGAwUNAwcECg8CFQIWBQMgAggJCwIHDgUCBRIDD?= =?us-ascii?q?gUDAgISBAIDBgUDAQcBFwMHCAICDAICAgIFAgUCBRgRAQ0EAwMDAggBBBUGA?= =?us-ascii?q?wkIKggEAwsGHQICAwIEBQEBEgEBAQUBCQIDAgMECAMDAwMCAwQMCwIBBwgDA?= =?us-ascii?q?wYLCAkGAwIHCBkDBQQDBwULIQIGAwIEBQQBBQIVDQIDGQIGAwYUCwwCBg4IC?= =?us-ascii?q?QMHAQEBAgICCAEFBQwJAgMEAgUEBAEBEgYCAQMCAgMEAgoDAgoCCAoBCRMEA?= =?us-ascii?q?wgDAwMDAwUBAQICCgQTBQUCAQUOEwwJCgYDBwMEAgICEB0CCQMjDwMLCQgTP?= =?us-ascii?q?QELBzIENgEUFAcrIV+cbkeEbhOBRwWmZKEDaIM8BYwTlUgzhVukd5h8kyKVe?= =?us-ascii?q?REjEoFIJIFcMxojUDGCNglGAxkPkhuEIK0gJzI8AgcBCgEBAwmPYIFLAQE?= IronPort-PHdr: A9a23:H47LfRc79FyLvNb14VKyaWA7lGM+9NfLVj580XLHo4xHfqnrxZn+J kuXvawr0ASQG9yBsLke0qL/iOPJZy8p2dW7jDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTezfL9+N gi6oRvfu8UZn4duN7s6xwfUrHdPZ+lZymRkKE6JkRr7+sm+4oNo/T5Ku/Im+c5AUKH6cLo9Q LdFEjkoMH076dPyuxXbQgSB+nUTUmMNkhpVGAfF9w31Xo3wsiThqOVw3jSRMNDsQrA1XTSi6 LprSAPthSwaOTM17H3bh8pth69dvRmvpQFww5TMbY6aNPRwcKDTc84ES2VdRcteTTBND5mmY ocTE+YMP+BVpJT9qVsUqhu+ABGhCubxxT9OgH/5w7E60+Q8GgzawQMvBdcOu2nTotX0MKcSV f66zLPVxjjEbPNZxzH96I7WfRA9ofGDR69/ftDUyUkqFgPFilGQppL/Pz6O2eQNtnKU7+tkV e61l2EnrARxryGpy8wxhYbHmpgbxUrY9SVl3ok1P9u4RVZmbdOlDZdcqiGXO5VqT84mQ29lu ig0xqMEtJKlciYG1YoqyhzfZfKHc4aE/hHuWPuPLTl2mX5pZrGyiguv/EW8zOD3S8e60FFPr iVfk9nMsGgA1xnT68iAVvRy5EKh2TKU2ADO6+FEJV07mbDeK54lxLM7i5kdsVzbEyPohEn7i LWae0Yk9+Sy9ejrfrbrqoWBO4J2lw3zNLkll9K7AeQlKQgOQ3aU+f6h2r3i/Ez2Xq1HguEwn 6LEqp7VP94bqbS8AwJN0oYs9RK/DzC+3dQdh3YHLVZFdAuDj4jrJl3COf74Aeq9jlixijtry PfGPrruApXJMHfPiqvufbF460JEyQozy85Q545MB70fPP7+XlX9ud/YAxMjLQC43+XqBM9g2 o4cRG6DGqqZP7nTsV+M6OIvOe6MZIoNtTb+Nfcl4fjugmElmV8dZ6amwIEYaHW9HvRnJ0WZZ WTjgs0aHGcFuwoxVu3qiFmYXTFPYHayWrow5jcgB42+F4fMWpitgKCd3Ce8BpBae3hKCkqQH nfwa4WER/AMZTqOLcB7lzwEUaGtS4sg1RG1qA/30KFnL+rR+i0Ar53vztl15+vJlREz7zN4F cqd03veB11zy2gBQjt+wbtyu1c1nlyK1Kw9h/1DCfRS4elIW0E0L8iP4fZ9DoXRVwTHc8uJA H+qS9DuJDA1St8ri4sNbkB7FsmihxzK2i+rB7sYjZSEAZU19uTX2H2ndJU18GrPyKR01wpue cBIL2Dz3saXliDWDo/NyQCCkrqyML4b12jL/XuCymyHuAdZVhRxWOPLRyNXfVPY+PL+4E6KV LqyEfI/KAIUysOELKZWatTlhFBDRfPnNc72bGe4mmP2DhGNlfuXdIS/Q2wGx23GDVQc1QUa/ HKILw87UySspWTTEDxnGVvqZkLo9eRkgHy+R04wiQqNah4pzKK7rzgSg/HUUPYPxvQEtSMm/ i1zB0q41snKBsCoogNgeOBYY4p47g4YjCTWsAtyOpHmJKdn7rIHWyJwuU6mlxB+C4Ea1NMvs Gtv1g15b6SRzFJGcTqcm5H2ILzebGforlipbObN11fS3czzmO9H4ekkq1jloACiF1Yzu3Rh3 d5P1nKA55LMRAMMWJP1W0wz+lB0vbbfKiU64orV0zVrP8zW+nfB1tQvCfclwxqpetJeNKeJD if9FsQbA46lL+lr01mlYxQYPfxDobYuNpDDFbPO06qqMeB82TO+2D4fscYtjwTWr3o6E7GRj PNni7mC0wCKVinxlgKku8Hzw8VfYC0KW3C4wm7iDZJQYat7ecAKD32vKou53IYb5dalVnhG+ VqkH15D1tWufE/YbFH72wBM1U0bqHmimC+8wiZcnDQgr67Z1yvLibeHFlJPKitQSW9ugE25a 4u5idYXQEihYwEskRqh4Uvg76deraV7aWLURA0bGkq+Z3EnWay2uL2YZsdJ4559qiRbXtO3Z lWCQ6L8qR8Xu8/6N1NX3ytzNzSju5Gj2gd/lHrYNnF46nzQZcB3wx7bot3aX/9YmDQcFmF0j jzeB170ONfMn53clJrFtO2iV2utX5hWcC3vwJmouy6y5GksChq61/y+gdzoFwEm3DSzjYE7E 3WV6kykMs+yiP3yOPkCHAEgHFLm7stmBoxy2pA9gp0dwzlSh5mY+2YGjXamNNxa3azka39eI FxDi9XR4QXjxAhiNifTn9O/BijbmJMxIYDlOzBzuGp19c1BBaaK4aYRmCJ0pgD9tgfNeb1nm Txbz/Iy6XkciuVPuQw3zyzbDKpBeCsQdSHqiRmM6Miz6atNY2P6O7u90kxzgdCoALiHpwBYX HvjUpgnFC50qM54NRiftR+7opGhY9TWYd8J41eXnhHGgvRVIZ44k/8LgS5qI0ryuHQkz6gwi hkkjvTY9MCXbm5q+qy+GBtRMDb4MtgS9j/ahqFbhs+K3oqrE8YpCnARUZDvV/7tDCMKuKGtK VOVCDNl4CT+e/KXDUqF5UxhtX6KD527KyTdOiwC1ds7DBiFeB4E3UZNDW18xMJmUFjtnpCpc V8ltG5NoASj8V0VlLoub16mAwK97E+pcmtmFsbZdUIMqFkEvwCPaYSf9r4hQX8epMHw6lzVb DTcPVwADHlVCBPeQQm/eOD/v5+YtLHIY4j2Z/rWPefR9aoHDarOndT3ldI4tzeUapfWZikkV qJknBoFBTcjQozYg2ldEnNM0XucM4jD4k/7o3MSzIj38ey3Cli3tM3fVv0La4Upo1fv3u+CL 7LC3n8nb2sIkMpdnzmQj+FOlF8K13M0LmfrS+9R83WXCvqXw/4ybVZTfSp3MIEgA7sU+A5LN Iabj9r00uQ9lfspExJfUlennMi1ZMsMKmX7NVXdBU/NOq7UbTvMi9r6Z6+xU9gyxK1dqgGwt DCHEkTiIiXLlj/nUAqqOP1NiyfTNQJXuYW0eBJgQWb5S9euZhq+Od5xxTo4pN98zmvNLnIZO CNgflllq7SR6WZcgKw6FTUetzxqKu6Lnyvf5O7da94XvfZtHiVohrda7XA9mN43pGlPQP14n jeXr8Y7+Qn31LnSjGA/AFwX9W8Y4eDD9V9vMqjY6JRaDHPN/RZXqH6VFwxPvdxuTNvmp6FXz NHL0qP1MjZLtdzOrq5+T4DZLtyKNH05PF/nAjnRWUEGQDitOH3fjkBUlfST8nmYtLA1r5Htn NwFTboRBzlXXrsKT19oGtAPOsI9RjQ/jbuSl9IF/1K7pRjVAcFY59XJD63LR/roLzmdgP9PY B5CktaaZcwDc4b83UJlcFxzmo/HTlHRUd56qSpkdgYooU9J/RCWq0U83kvkbkWm53pBTZZcc TY5jwJ/ZaIm8zK+uj/fx3LPrSo01U0zwJDr2G/INjH2K6i0UMddDC+m7yAM IronPort-Data: A9a23:O0hvhqACBnjlXBVW/5/nw5YqxClBgxIJ4kV8jS/XYbTApGwqgjcHx jZMXGnXPP3YMWSneIp3b9+z/U4B75PcxtY2OVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yM6j8lkf5KkYMbcICd9WAR4fykojBNnioYRj5Vh6TSDK1rlV eja/YuGYjdJ5xYuajhIsvjZ+Es01BjPkGpwUmIWNagjUGD2zCF94KI3fcmZM3b+S49IKe+2L 86rIGaRows1Vz90Yj+Uuu6Tnn8iGtY+DiDS4pZiYJVOtzAZzsAEPgnXA9JHAatfo23hc9mcU 7yhv7ToIesiFvWkdOjwz3C0usyxVEFL0OavHJSxjSCc5wrZVkTC6OwzN31sGIM23+FzP1xv6 8VNfVjhbjjb7w636LeyS+0pgsZ6aceyY9pZtXZnwjXUS/0hRPgvQY2QvY4ejGp23JgeW6+BP qL1ahI3BPjESx5CPFEaFJI3kO6tg3j7dzBCgF2QrKszpWPUyWSd1ZC3aIKEIYXXGpw9ckCwl FnYoUL8XgkjZNWPwji91yKT28n0pHauMG4VPOblr6Y10QP7KnYoIBYfUF/+pfiilmalStdHI goV/DAvpO487iSWosLVWhS5pDuAvEdZVYMPSqs17waCzqeS6AGcboQZctJfQJs5kfAYbiV37 WPTut3HIDtrjoC0V0vIo994sgiOESQSKGYDYwoNQg0E/8TvrekPYvTnHoYL/Emd3o2dJN3g/ w1muhTSkFn6sCLm/6Cy/FSChzD145aQEVdz6QLQUWaoqAh+YeZJhrBEC3CKsZ6sz67AETFtW UTofeDAtoji6rnTzkSwrB0lRu3B2hp8GGS0baRTN5cg7S+x3HWoYJpd5jpzTG8wbZ1ZImW1O xKK5loOjHO2AJdMRf8nC25WI5R6pZUM6fy/Dpg4k/IXPcghKlDdpEmCm2bLjjCzzhVEfV4D1 WezKpv1VSlLV8yLPRK5QOAS1bJjxyY1gwvuqWPTnnyaPU6lTCfNE98taQPQBshgtf/siFuPr 753aZDRoz0BC72WX8Ui2dRPRbz8BSJmXciuwyGWH8bfSjdb9JYJUaOBnOpwJNw1xsy4VI7gp xmAZ6OR83Kn7VWvFOlAQikLhGrHBM4k8SAILmY3MEy22nMuR4+q4e1NP9E0ZLQrvqgrh/J9U /BPKY3KD+VtWwb33W0XTaD8i4h+KzWtpwaFZBS+bBYFIpVPeg3u+/3fRDXJyhUgNCSMmPUbn 6yBzSLeGJoKeBRjBp3ZadWp1FKAgkIek+NTAWrNe9laR1rw+qdtOwjOv+8RMewRG0+S2AnAx wKyBDEGr9LsuK4wysHC3oqfnreqEsx/P0tUJHba5rCILhvn/nKv7ItDceSQdxXPfTvQ1JT5Q N5K3tfAMPEjt3RbgbpWSrpE4/o32IrymuV80A9hIkTuU32qLbFRel+9wshFs/x29I9z4AeZd BqGxYhHBO+vJsjgLV82ITglZMSl0dU/uGHbzdYxEXXAyB5Hxpi1emQMAEDUkw1YFqV/D609y +R4uMI21R22uiB3Dvm41BJr50a+BV1edZ44t6MqIp7h0Ssq7VBgXabyKAHL5LO3VtEdFXVyf xG1gvLZiqV+13jyVSM5NULw0Np3gbUMvxF3z2E+GWmZp+qdhtIK2Ex+zDdmaCVU0RRN7MxrM EdJKUBeBPuD7hVotud5TkGuHABzXkSZ83Pu1mpTxXH4TlapZEPJPmYSKeaAx2FH0mN+Lxxw3 qCU93bhahnuJPrO5yoVXVV0jcDsVvlj31TmtP3/Ov+aDr4WRCHAgJ6+QUYp8DzZWdgQgm/Dr slUpNdAU7Xxb3MskvdqGruk2qQ1YzHaAX5JXtVK3r4DREPYcxGMgQm+EVi7IJ5xFqab4H2DK pJcI+xUXE6DzweIlDcQAJAML5JSnPIE4NkjeKvhFVUZsomw/yZYj5bNyhfQ3GMbYc1iscIYG LPjczivFm+xh3wNv0TvqMJCGHSzYPhaRQna8d22zt40FMM4gLkxSX0x77q6hGXKEQ1F+xnPg hjPSZWLxMNfyKNtvbDWLIN9OyuOJ+nOCdu4qDKIj4wWbPfkE9v/iAcOm1y2YyVUJeQwXvp0p 5Sssfn2/kXPg5guWUuEmZPbT6htzuexVdpxLcjYAiR7nyyDecm0+DoF2TmyBqJomeNnxPuMZ lWHeurpUvUKSfJx+WZzVxFONzo8V4HmcbbGpw6mivaHVygmzg3MKe24+U/TbW10cjECP7v8A FTWv8mCy895roNeIg0tHNBjXoFFJWH8VZscd9HesSeSCk+qiAigvprgjR8R1iHZOEKbEcrV4 YP3eTamTU6c4Jr39dB+t5B+mjY1D3wn2Ok5QR87yu5M0ju/CDYLEPQZPZA4Eaprqy3V1qzjR TTzfWAnWDTcXzNFTE3G2+7dfDyjX84ABtSoAQYS3RKkW3/jTsfISr5s7Txp7HpKayPuhrPvY 80X/nrreAO92Nd1TOIU/ea2mvpj2uic/H8T5EThiIbnNn7y21nROKBJR2KhlBArEv0hUG3OL GkxAGRGGQS1EBGoV8lnfHFRFVcSuzaHI/DEq8uQ6I63hmlZ5LQoJD7D1yXb3bgKbcBML7kLL Z8yb3XY+HiYgxT/poNw0+/EQsZI5TajEc2zLaulTgoX9011BqLLIOta9RcyoAoeFMKz3r8Te vRAI5TzOahdFH1s5Q== IronPort-HdrOrdr: A9a23:MG0zu6gzukGb9bwb9tzNsclflnBQXuAji2hC6mlwRA09TyX4rb HJoB1/73XJYVkqKRMdcLy7Scq9qBDnlaKdg7NhWItKNTOO0ACVxepZnO/fKlPbakrD398Y+6 MlXaYWMrLN5JtB4foSIjPULz/t+re6GWmT5Nvj8w== X-Talos-CUID: =?us-ascii?q?9a23=3AW0K45mg8O4NEycEPTvKkAN45LDJuNWL481n7OhK?= =?us-ascii?q?DNTxMRpOwTluuxYJ6qp87?= X-Talos-MUID: =?us-ascii?q?9a23=3AuYbH5w5TohprMKCYvcqitWTtxoxa2LrwLkVRiax?= =?us-ascii?q?WstmPNxRVawjAqg+OF9o=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.12,273,1728943200"; d="scan'208,217";a="200931571" X-MGA-submission: =?us-ascii?q?MDH5EpxyaZOHoi1ax9rZHn+LqAG4kwBrba6Sm+?= =?us-ascii?q?+38yvbXEe4zy7QTirUhlr2HjOnQF6O/62ksuVHIQllDGIPvslqN+Pc/M?= =?us-ascii?q?EAuWytNAu12SnyDitVwyeL/Pb+nc2qe3uaCwHxDj+fBg9bjh7a2XetTv?= =?us-ascii?q?/GhoA3wLMmzM8Az3f4iNK/Uw=3D=3D?= Received: from mail-lj1-f171.google.com ([209.85.208.171]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 29 Dec 2024 01:19:08 +0100 Received: by mail-lj1-f171.google.com with SMTP id 38308e7fff4ca-3047818ac17so61975651fa.3 for ; Sat, 28 Dec 2024 16:19:07 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1735431546; x=1736036346; darn=inria.fr; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=s8QxZAaMT5zGVP74rqBKBxqIATJxx9EII9BvkgtKJ8Y=; b=gfybF/UWhG9x5DrJWc5HtW8S6qy6sNivYstAtBW9YiZDXjW0GiRkcaN2EP7I37JhED sS8fd0zv30SJ/68xSm8QTLaikvGvzZ78acP3WsJXNpU7HEbKyaneU0jC1oSDYQNOuxDH RXAiicmz5+G2XfDTkF0pLjj/eNgfIDV62rMDIjpKkajUAthu8vV+xggoFX6ehFZ+Dtts pd7+glRr0WatGOf+pmMAInfZ3hqy3fQ5h9PS7FEApN9roKhrvSRU+gGx4hiP0Cmb9zwS vrajYlyYeZlnCrLc8RDUsB+mlsEdKlYIP+a6O8hDDgrbynJU3IFJ0GGE5o4liAaon7pu Y6Mw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1735431546; x=1736036346; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=s8QxZAaMT5zGVP74rqBKBxqIATJxx9EII9BvkgtKJ8Y=; b=nIhkiTuGCBUwsvYuNqETuMhWuIBvOK0Zva3gN9DZSE35hohm5flcJA8QsE2n+0frjG /je9EG9pBlgCoIUmeJkPUCGNIV9GYUHuIgauG7gdAaJFcQOfDUZwY0V4xmQlTuRn/VXC 7IIS1rPpZE8lp3MiytKV59nNRbTdAoGs1hB9lBAe+fjclxZppwjax9OIhC90q4ySiCHU TdvQY75tooGRemYERd3my42EFEnfZE5LGeHe4wXkP4ED9r0+7dwH48Z5bjpcYsBpvTPQ 3C6lZzU+DCLXCcU29yJ2sKEAfY0fKZken4ow83pP5wB//rehRc39Y67Jy1nW/2CGh+N2 2zMw== X-Gm-Message-State: AOJu0YyTBJckNcyzkF9zZAG7veuQ1HIHZJYOlEBStu+VGN8e737hHUt3 dn3z843h8hayWHQWOymvJvebxqCiOtN8vk66SD3RjoWij7KYBpH4RKkaSd0xB7tqKT6SYxhdPyB uBKVuIebUhiijzF36j/TNZjyEt6WKs/dy X-Gm-Gg: ASbGncvcaNc1cD5WeXgXx80LAXR9IAnqe0Wo3oqWeVxRadnFOLpZZZxzKTRK6vmM3BA jhfSFmDYVP1Eqk5Dy3XmvPPJCVsAkoc38wHcyaA== X-Google-Smtp-Source: AGHT+IGYfnZOUjGlGgXJcODoLx5nU9O1UOe3df12WTCh5JMxos3wXCT4Yb6cD7aoE013HObM04gCbl3P3ZGy33TvCkY= X-Received: by 2002:a05:651c:212a:b0:300:33b1:f0c4 with SMTP id 38308e7fff4ca-30468545c24mr111290901fa.11.1735431545753; Sat, 28 Dec 2024 16:19:05 -0800 (PST) MIME-Version: 1.0 From: Kenneth Adam Miller Date: Sat, 28 Dec 2024 18:18:54 -0600 Message-ID: To: caml users Content-Type: multipart/alternative; boundary="000000000000d119b8062a5da451" Subject: [Caml-list] Fatal error: algorithm file not found Reply-To: Kenneth Adam Miller X-Loop: caml-list@inria.fr X-Sequence: 19240 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: --000000000000d119b8062a5da451 Content-Type: text/plain; charset="UTF-8" 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.cmx -o myocamlbuild My llvm version is 14, I think and I'm on Ubuntu 22.04. I think what this 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 its own stdlib is, but apparently not. I think I am looking for a environment variable option 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? --000000000000d119b8062a5da451 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
I'm trying to install bap, and I ran into this er= ror:

lib/bap_disasm/disasm.cpp:2:10: fatal error: '= algorithm' file not found
#include <algorithm>
=C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0^~~~~~~~~~~
1 error generated.
Command exited= with code 1.
+ ocamlfind ocamlopt -package unix -package ocamlbuild -li= nkpkg -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 this has to do with is t= he default list of include directories that clang searches when compiling. = You would think that C++ ought to know where its own stdlib is, but apparen= tly not. I think I am looking for a environment variable option to allow to= pass in to ocaml builds some include directory. Either that, or a downgrad= e to an llvm version that works. Can anyone help?
--000000000000d119b8062a5da451--