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=gEi2icBb; 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=N0vkRAYM; 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 2FFF148E3C for ; Sun, 29 Dec 2024 00:22:42 +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=vVx+zneNa1nogdcLuQX3VSQJjg+OQvF+rZCeAninFBI=; b=gEi2icBbDJTA5bUZr2o+rGzPQmXl+qHMG4uj1TeuX0SWxpgPmjXOcnIE SDdMXaUoCK5xgzA4VfH3n26wG3o7hSPH2pRCVDmxI1IOJKtidXrxHPbsy 3fF92qg3VV8xhpImN1CjArc/YJ8Z9nWYUEFONZkGgHDJPe6rG5UNr1Pwo I=; 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="200932113" 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:22:42 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id F03F1E0D24; Sun, 29 Dec 2024 01:22:41 +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 82922E0077 for ; Sun, 29 Dec 2024 01:22:37 +0100 (CET) IronPort-SDR: 6770963a_6eZNPHKzn3/C0I7h6Cs2fs1/Hll+daEi0PtKsB/yQqc84jN KJU0IC5iFBIgOyzPm7vqDfCSvNJHS4cuUc0erLw== X-IPAS-Result: =?us-ascii?q?A0E+BADDlXBnfLDQVdFaglyCRH1ZNAQLSGGDdYEjgiyLf?= =?us-ascii?q?oIkn1g+DwEDAQ0xEwQBAQMBA4UAAopvAh4HAQQzBg4BAgQBAQEBAwIDAQEBA?= =?us-ascii?q?QEBEAEBBQEBAQIBAQIEBgECEAEBIhkHDhIphXsNgls7cWECBQM6AQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQUCLD8BHwEBAQIBEhEdA?= =?us-ascii?q?RseAwELBgMCBAc3AgIgAQERAQUBHAYTIoJggi8BAw4jA5gqj0CBBUKLPoEVB?= =?us-ascii?q?QIWgQGCDQaBCdlTChkoDWwDgWECBxSBNIR0KU4OAYI2HgGBXAIOh3x6JxuCD?= =?us-ascii?q?YFKgQaBbz6BUE+CcoMNgkciBII1gxWDSYFvi3YdL4IujWwmCAcXAwcHCQUEC?= =?us-ascii?q?RMGBQUCQgkFAQ8SAwQDBAQBAgsJCgkDAwIOAggDAggGGQE/EgQTCg0LBwUfC?= =?us-ascii?q?AMHDBEKKAMiBA4RHA8BAgFbBTQBCwMHAggCAgYDAgIEFAYDBQgDAgUFDQICC?= =?us-ascii?q?gIEAxUEBA8BAQIeAgYBAhABBwICARQCCgMCBQYHAhwCAgMDBAQDAQUDEgMLA?= =?us-ascii?q?QUGBQEBBA4BAgECAQECAwMOAgIDAwICAQkCAgEBAhQBBAMBBwIFAwUDCgEBA?= =?us-ascii?q?QIBBAkEDQYDBQMDBwMEAgMCBgIEBAEEAgIDAwIDAQMDAgECAwkCAQ8PCQ8CA?= =?us-ascii?q?gMEAgYCAgEEJgIBFQUCAwQCAgcCAgMBAgECAgIEAgQCAgYDCQgBAgIHAQICA?= =?us-ascii?q?gMVAgUBBAkDAwUSDCADAgICAgMHCgMFAgEBAgQDAwMDCQ0HAgMBAgEDBQMBA?= =?us-ascii?q?gECCQMGAgIDAwUSGQUDAg8DAgEFBAIIEgsHAQEPFAUECQUVAwYCAwMWCwQFA?= =?us-ascii?q?wMDAQwPDgICCwMXBQEBBwEDDQgDBAQCAwMJAgEQAQMEAgkCBAECCgICAgICB?= =?us-ascii?q?AEBBQQCBAMCBQICAQgEAwMDDQQDCAgDBQMMEgICAgkCAwECAwMDBA0IFg0DA?= =?us-ascii?q?g0YChUTBwcDAwQLAgkDBA0CBAICAQYDBgoGFgECGAICBgwEAwMIAwIDAgIBA?= =?us-ascii?q?gICARECAgkIDQUJBQYCAhUDAgMIAQkDDwMCFAEGAggDBwEBBAICChEKAQECA?= =?us-ascii?q?gEGJwMBAQIUEwcDCAICAgIGFgwBBQcDBw8FBQQCAhYDAxIEBBACAgMDAgEBF?= =?us-ascii?q?AYVAQUCAwYLAQYBAgUEAgMEAhICAw8DBAMKAg8DBgMEBgMBAgwQAgQCCQoBB?= =?us-ascii?q?QQDBwUCHwMDAgIFCwIIAgIFAgUHAwkOAQIFAwQJAhQCEAICAgIIFwICAgUGG?= =?us-ascii?q?AMmAgQDAwMDCwECAg4JAwQ8BhMEAgMDAg4BAgILAQICBAIDAQQHCQMDCQoHA?= =?us-ascii?q?QoNBwICCggJEAECAg8HAwICAgIGBw4DAhMPBQYGAgoHDQoDAgECAhMCAwkGA?= =?us-ascii?q?wUNAwcECg8CFQIWBQMgAggJCwIHDgUCBRIDDgUDAgISBAIDBgUDAQcBFwMHC?= =?us-ascii?q?AICDAICAgIFAgUCBRgRAQ0EAwMDAggBBBUGAwkIKggEAwsGHQICAwIEBQEBE?= =?us-ascii?q?gEBAQUBCQIDAgMECAMDAwMCAwQMCwIBBwgDAwYLCAkGAwIHCBkDBQQDBwULI?= =?us-ascii?q?QIGAwIEBQQBBQIVDQIDGQIGAwYUCwwCBg4ICQMHAQEBAgICCAEFBQwJAgMEA?= =?us-ascii?q?gUEBAEBCAMDBAYCAQMCAgIBBAIKAgECCgIICgEJEwQDCAMDAwMDBQEBAgIKB?= =?us-ascii?q?BMFBQIBBQ4TDAkKBgMHAwQCAgIQHQIJAyMPAwsJCBM9AQsHMgQ2ARQUByshX?= =?us-ascii?q?5xuAUaEbhOBRwWmZItylCBxaIM8jBiPN4YRM4VbpHeYfJIIlxMRIxKBSCSBX?= =?us-ascii?q?DMaI1AxgjYJRgMZD5IbhCCtIScyPAIHAQoBAQMJj2CBSwEB?= IronPort-PHdr: A9a23:d46fyxb7eFG9lJ7en47EMPf/LTFk2YqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1waPBN+AoKgdw8Pt8IneGkU4oqy9+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiTSgbb9oM Rm6swvcusYIjYd/N6081gbHrnxUdutZwm9lOUidkxHg6Mmu4ZVt6T5Qu/Uv985BVaX1YaE1R qFGATolLm44+tTluQHMQgWT6HQcVH4WkgdTDAje8B76RJbxvTDkued7xSKXINf5TbEwWTSl8 qdrVBrlgzoJOjIl7G3ajNF7gaRGqxyjuhN/2ZbZb46bNPV8fq3Tc9AUS3dfUMlNTCFOGJ+wY pEVAuYdIepVrY/wrEYOoxukAgmsAfvixDpWiX/w2601zfghEQHb1wE8At0BqnHUp8jyOqcTV eC1yLfHzS/eZP5R2jfy9o7IchY/rvGQXbJ/a9fexlMqFwPAj1WQrYjlMC2P1ukWvGib6vBvV eOri2I9tw5xpT2vy94qh4LUiY0b1krK+j9lwIYpO9K4Ukh7bMaqHpVQqyyWKoV7T8w+T212p Co3ybwLtJylcCUJy5kpyB3SZuKZf4WW/h7tW/ucLDNmiH9lfL+zmQu//Emjx+DyUMS/zVhEr i1AktbWt3AN0QTe6s2HS/t64kiuwzOP1wTI5eFZIEA0kbfUJ4Qkwr40kJcYrEfNHjfulUnok KObcl8o9+uo5uj9fLnqupyRO5Vphgz8M6kjnNG0DPo8MggTRGib5fqz1Kf+8034QbRFkOU7n rXfvZvHP8oUvLS5DBVQ0os76xawETOm0NMAkHkCNl1FeRaHg5HtO1HMPfz0FPm/j0munTpq3 fzGMbrhApLCLnjHjrjtZ6py60lZyAYrzNBf4YxbCq0ZLf7tRkP8sMbUAxw5PgCu3errFNZw2 pkDVW+NA6KVKKbSvkWJ5uIrLemMfogVuDPlJvgm+fHui3k5lkEBfampx5QYdWq3HvFjI0WYZ XrshskOEX0RswoxSezlklyCUTpJa3muWKI84yk3CIS9AojbXICinKSB3DunHp1Rfm1KF0iAE W30eIWcR/cMdCWSL9d9nTMeULihT5Yt1RWvtA/h17pqNfHU+y0dtZL7ztd5/ezTlRco9Tx1F cuRyW+NT3sn1l8PEjQ/2aQ3vFdw0EzLhaNxhvgdEd1I+9tIVB07PNjS1bopJcr1X1fic9GPR UqmCvyqCDR5a9M1x9IUKxJ+FtOkgwzD1iajBroUk7iGHrQ796vd2z76IMMrmCWO77Uok1RzG pgHDmahnKMqr2A7ZqbMmkSdzeOxcLgEmTTK/yGFxHaPu0dRVEhxV7/EVDYRfBietsz3s2XFS bLmErE7Kk1Z08fXKaZMbND1jVxKTfLmOdDabniZlGK5BBLOzbSJP8LxY2tI5CzGEwAflhwLu 3OPNAwwHCCk9mHTCjpjCVLmb0rp9Oh6rH6hZkAxxgCOKUZm0un94QYb0NqbTf5bxbcYoGEhp jFzSU66xM7TAsGcqhBJeaxdZZY54g4C2zuG6UpyOZuvK60kjVkbG+hul2Xp0Rg/SoBJkMxw6 Wgv0BI3M6WTllVIazKf25n0fLzRMGj7uh61OebQ3RnF3dCa971qirxwokj/vAyvCksp8ml2m 9hT3XyG45zWDQ0UGZvvW0cz/hJ+qvnUeC44r4/T0HRtN+GzvFqgk5oqCe0jxwqgdttWNaaFE Av/CeUVAsGvLKohnF3oJhMIMeZO9bIlatu8fqjjuubjN+JhkTS6yGVftdolgwTcqmwmEr6Oh slbkJT6lkOdWjzxjUmsqJXykIFAP3QJG3anjDLjD8hXb7FzeoACDSGvJde2z5Nwnc2IOTYQ+ Vi9ClcBwMLsdwCVagm33gBW00kLoXWrkC69zjhwnisBoa+W3SiIyOPnPkliWCYDVCx5gFHgL JLhxdMXWk6lcwggmBKg4Ef+w6VBjKt6JmjXB0xPemKlSgMqGrv1vb2EbclV7ZouuigCS+Wwb 2eRTbvlqgcb2Sfud4dH7AgybCri+pDwnhggzXmYMG42tn3SP8d52RbY4tXYA/9XxDsPAidi2 3HbAV21Pt/h+tvx9d+Lse24UW+9VpRfeCzuzIeEuTGT6mhjABn5lPe20tHqCgk11ybn2sIiD 32Z6kahJNOzh+Ljbrwvd1INZhe088dgH4BijoY8zIod33QXnNTd/HYKl3vyLcQO3Kv/aHQXQ jtYprydqAPh2UBlMjeI39ejDiTbkpYnPYHqJDpJhHFYjYgCEqqf4b1akDEgp1O5qViUev1hh nIHzvBo7ncGguYPsQ5rzyOHA7lUE1MLWE6k3xmO8d26q71aIWi1dr3lnklzm9asELGLrghZX Xf9fpo4NSB158R7dlnL1Tegj+OsMMmVdt8VuhCOxl3Dgu5TJY4xn/YDgC9mPWbwp1Uqzuc6i Vpl2pTw7+3lYy19uam+BBBfLDj8YcgeryrsgahplcGTx4mzH59lF2ZDTN7yQPmvCj5XqeX/O lPEDmgnsnnCU+m6f0fX+AJ8onnICZzuK3yHOCxT04B5XBfEbE1H3FJPAXNjz8Z/TFz1gpSmK hsx5yhNtACk7EEXkaQxaUG5CiCG9WLKIn81UMTNckQQt1kYoR+TaYvEtqpyB30KoMPn9lDcb DzDIVwPVzlBW1TYVQ+5eODyo4CRqa7AQbPuSpmGKbSW9b4BC7HRn8/pis0+uG/SfsSXYis7V 619gxUcGyA/Q4ODwn0OU3BFzn2WKZfK+FHkvHUw957akryjWRqzt9HXWv0CbJM2oUDw2eDaa KaRnHorc28GkM5cgyaZkv5HmwdDwyB2K2v3SOpG73WcCvmK3PcQVk9+CWs7IsJM6+hUMhBlH 8ndh5u107d5iqRwEFJZTRn7ncrvY8UWIma7PVeBBUCRNb3AKyeZi8fwKbixT7FdloA2/1W5p CqbHkn/Pz+CiyihVhahNvtJhT2aOxoWsZ+0cxJkA2zuBNz8bRjzPNhyhDwwibo64xGCfXYbK iR5elhRo6e46CpZhrB7GTUE4CM6c6+LnCGW6+SeIZET8LNqDilyi+NG8SE6xr9Sv0QmDLR+n CrfqMIroknzyLHejGo6FkAW+nAS29zY2Ccqcb/U/ZRBR3veqRcE7GHKTg8Pu8MgENrk/aZZ1 tnIkqv3bjZE6dPdu8UGVK22YIqKNmQsNR3xFXvaFgwAGHSoOGfZilBdmf2b83iUqpw3sLDjn ZMPTvlQU1l/RZZ4Qgx1WccPJpt6RGZuibmAkMsB/maztjHUTcRe+5TFD7ecWKqxbjmeirZAa l0DxrayfuFxfsXrnkdlbFd9hoHDHUHdCMtMriNWZQgxuExR8XJ6QwXbOmrgYwKppXsRTLu6x 0FozAR5Zusp+XHn5FJlfjIiSwM/lUAwnZPuhjXDKVYZyY+/WIhXD2z/sE1javvG IronPort-Data: A9a23:bSdjHasP6iJV6+NEpKwS3nHAFefnVOBaMUV32f8akzHdYApBsoF/q tZmKWGGa63fZWCje4p/boS090ICuZSDx9QwTwQ4+yxnHyIXgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCYEidfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbCRNscpvlDs15K6u4WlC7gRlDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJGZnE6oJxN5lOntpp fcDDQoCRQra2+3jldpXSsE07igiBMziPYdavnM5iD+AUqhgTpfETKHHo9Rf2V/chOgURaeYN 5dfM2I/Kk2fPXWjOX9PYH46tOSlgH/ybz1RpFuQoKsz52XJ5AN02bnpdtHSf7RmQO0Pxh7J/ TierziR7hcyBeXBxWWK0UmXovLGoH3QYbwrRL+c36s/6LGU7jdOUUVJBAXTTeOCokW3XtYaL 00P5gI1vK0q/QqqSMP8Vlu2uha5UgU0XtNRF6g+6ljIxPOLvUCWAW8LSjMHY9sj3CMredA0/ njYsfT4OwR9i6eyGXmG042bhinrZSdAeAfuehQ4ZQcC5tDipqQ6gRTOUstvHcaJYjvdSWGYL 9ei/HhWulkDsfPnwZlX6rwuvt5Bjp3ATwpw4geOG2z8sV0/a4miaIilr1Pc6J6szbp1rHHQ4 BDoeODHs4ji6K1hcgTTGY3h+5n3vZ643MX02wIHInXY323FF4SfVY5R+ipiA0xiL9wJfzTkC GeK5lgMv8UPZybzMvYoC25UNyjM5fiwfTgCfqCEBueinrArLGdrAQk3Oh7AgT+3yCDAb4lka MfFL5vE4Ykm5VRPl2fvH7hMj9fHNwgxwmTcQZ2zzhKsl9KjiI29GN843K+1Rrlhtsus+V2Lm /4Gbpfi40sFDIXWPHKMmaZNdgBiEJTOLcqqwyChXrTeelI+cIzgYteNqY4cl3tNxfgFy76Zo SHtAye1CjPX3BX6FOlDUVg7AJuHYHq1hStT0fUEZA7zhyoQcsy04b0BdpA6W7Ai+aYxhbR3V vQJMYHISPhGVj2NqXxXYIjfvb5SUk2hpTuPGC65Pxk5XZprHDLS9vHeIwDAySgpDwiMj/UYn YGO7A3gbKQmexVDF+fTMfKm8EOwtyMSmcV0REr5HeNQc0TNrqlvciz4seArKe4LOTH89yu8x TeLM01Ju9uXs4sR9f/Xj5ultKasKfN1RWBBLlnY7JG3FCjUxXWiyol+S9S1fSjReWf32ae6b 8BH5qvYHMxcuW1VoqxAE7pP5oAv1evF/rN14FxtIyTWUg6NFLhlHEij4eBOka98nplipgq8X xO0yOlwYLmmFpvsLw8MGVADcO+G6PAznwvS59QTJGHRxnd+3JiDYHVoEyi8sg5vB5orD9p92 sYkgtAc1CKngBlzMtqmsDFdx17RElM+CZcYprMoK661rDE0y2NyQ43WUQ73x5CtV+9iEGcXJ h2sua6ToIgEm2TjdSIoGGnvzNhto80EmCp3wW8oI3WLndv4hcEL4iBBzARvcCNrykRo7uEiH ElqKEx/GouW9RhKmsVofj6hCiNBNjKj623zzFo7zjTZRna3S12XfXEcOPmMzm8d4WlzbjhWx 5DG6WfHABLBXtD94Ts2YmFh88fcdN1W8hbTvvyoBOGXNsAeTQe9p5SxdE0kjgDCA/IhoGHm/ s5UpP1Rb4//Pg4u+5wLMZGQj+kseUrVNV58TuFE14JXOHPXZxWZ+yWEcmK1ceNzf836y1eyU ZFSF5geRiaF9Xi8qx4ADvQxOJ5ypvki4eQCdp7NJWIrt7i+rCJjgKnP9xrR1XMafNFzrfkTc o/hVSqOMmi1t0tmn2XgqMplOG3hRfImYAb6/v6+8cRXNpYlndxvT3oP0eqPjy3ICDdkwhOah xOcRqn0y+c5959gsbGxGYp+BiK1C+jJasK2zC6Jve9jV+j/afX1i1tNq33MHRhnAr8KatEmy ZWPqIHW2W3GjpYXUkfYuZ+LKIdR7+7vXuANasPTB1tZlBukR8XDzUYi+We5CJoRi/JbxJCta DWZYfuKV+w+eoli1lwMTANBATMxNr/RUp7wgQ+c89GdFQk70yHcCdGsqE/ScmBQcxEXN63EC gPbv+ik4vZapt9uACAoKu5HAZhqBk3KQoojKsPMsAeHAlmSgl+tvqXokTwi42rpDliGCMPL3 oLXdCPhdRiduLD68/8BitZc5iYoNXdahfU8Wmk/+NQs0jCzMzMgHNQnaJ4DDslZrzz22JTGf wryVWoFCxjmfDF6YB75scXCXACeO7Q0Ae3HBAcVpmGaVyTnI7m7IupRxn81qTM+MD7u1/quJ twi62X9dEr5iI1gQeEIoOe3m6F7z/fd3WgF4l35j9e0ORsFHLEWzzZ0KWKhj8Ac/x3lzy0n5 FTZRFyohGm+QE/1VMJiIjtbQU5H+jzoyDosYGGEx9O3V0B3CgFf4KWXBg0x+uRrgAc2yHomS nb+Rm/L6GeTspDWkbV8oMon2MeYFtrSdvVX78bfqck6kKS562BhNMQH9cbKoAfO5yYHe27ge vKQD7TSyahLxI29GFFb9OnRx69Mbw== IronPort-HdrOrdr: A9a23:4lGw+a12z7hreDjnVYO7JQqjBIQkLtp133Aq2lEZdPU1SL3hqy nKpp4mPHDP+VIssR0b6LW90ey7MBHhHP1OgbX5X43SOzUO0VHAROpfBMnZsl7d8kbFh4hgPM lbAtFDIey1I1w/o8iS2maF+hUbrOVvMprEuQ4T9RlQpMhRCp1d0w== X-Talos-CUID: 9a23:u690OG78eJscj57Cktss0x86PdEbSm/m1lCAKFSdM2lCUuTJRgrF X-Talos-MUID: 9a23:rtxSjQpU7+Bc7prT5hoezwBbass37IeVM2QQmKhYkPC6DHxyHx7I2Q== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.12,273,1728943200"; d="scan'208,217";a="200932084" X-MGA-submission: =?us-ascii?q?MDHbtJkkGtut0Zx9z3GryJWUfytQVY5wBg3A67?= =?us-ascii?q?s9Y5C8Mw+veLErgJtmNSth6rsnzLNqGVwy8RrGDeTj4j6hihhl+3CKoh?= =?us-ascii?q?efRi7XSbTNjzGfQzGvIr/XutrexGM9gBJguggg2FZgmrllCNzq+j/uDC?= =?us-ascii?q?1GPrDt8fUaXcATAvKayYLziw=3D=3D?= Received: from mail-lj1-f176.google.com ([209.85.208.176]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 29 Dec 2024 01:22:18 +0100 Received: by mail-lj1-f176.google.com with SMTP id 38308e7fff4ca-30229d5b1caso93967481fa.2 for ; Sat, 28 Dec 2024 16:22:18 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1735431736; x=1736036536; 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=vVx+zneNa1nogdcLuQX3VSQJjg+OQvF+rZCeAninFBI=; b=N0vkRAYMsVhcobM67ebK1j7khgbDzZOS/xxzcXU9eV6FaYeGQ8Qa67na1fofXCK4Rl keG6xVCIaQkNBnQh+rGy0OzWgj0ePhYPcAix2/5KqLQChZ3jJX3T82pBjtHPETKrjR5i 6SxIz0qu3EJ6YknshFzGhfGOrEDykeM9+icBafWp6oIQxCs4k81zPQ1qT+0klxVHVBSa K4EVGJ8neDozg20dsHaLgynWSQSU9qfQUSN5+rb6MWn5Zc8kFc6gLCOsttE4VhuYFgsW /8dojbAfcv3aMh9ht2LmrKq6pRN9XadChQs1ha1JINcNR27PTb2vHuLxMocW/y7swumI DwHA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1735431736; x=1736036536; 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=vVx+zneNa1nogdcLuQX3VSQJjg+OQvF+rZCeAninFBI=; b=geTJkCVq3s5g2ywErcgKr/Ah4YtpT0ttAmthpjifGX9YGsjppOZumfA3uteVQG5lhu PCJOwhiqrCjkvAaIIreJX1QKNUKXebz6TbNFPN/oQmQ3yM7LieGqLDB1otobMl4zr3yk Xau9L7cwExXK+QiUtZwzmHEr/0q2VvmkAMvb9Ix6p/itB/glR2X2AzvA450uXOcTkKfu RW2bKZPnSslCJKIyzp8K0bp88dRd7GMmn9SjRh/aZuem+iwBzjwPwlaE0z1EkqpnEbZ6 kwiNdP4pZhzBwG8uLWlHGdtv8z/uVGRVqjd8Ydgs/dB5CYQYQkxWOAVEg0EffklXLEeK 2kww== X-Gm-Message-State: AOJu0YyDSFDIUdopXmcYaNICy/j04eKYtc6J4cHw1jY67xpczU9M5pFm PIJroZHFsBSghG2Xcwd1XhvuXfTd/gFmZf/9BgTC7/76IkSAZrlfc3Ot++kflRsergzkCUEEZOa YgZ3rBVdJWl5dIF0t1qZztCPsHUNJP3EJ X-Gm-Gg: ASbGnctS9/zBO+/l+cYYYWtGQyPAVlRrkYaOw1z11XW1LnvaJbYFO/LkQAD18y6fifU 7A659ZjChLB2s/mpnxnHGUTClyRSzLrSprQkvaA== X-Google-Smtp-Source: AGHT+IGQPG8kHRO91EcaU1yhnWNfk9/IIUWFwSdmpgCzoQzpYRUhgXLupfVV+St09gbEfcspGvPYiKUcDRXApuuvn6c= X-Received: by 2002:a2e:a595:0:b0:2ff:cc65:68aa with SMTP id 38308e7fff4ca-30468608c3emr107378731fa.31.1735431736213; Sat, 28 Dec 2024 16:22:16 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Kenneth Adam Miller Date: Sat, 28 Dec 2024 18:22:04 -0600 Message-ID: To: caml users Content-Type: multipart/alternative; boundary="0000000000002b4b02062a5db09e" Subject: Re: [Caml-list] Fatal error: algorithm file not found Reply-To: Kenneth Adam Miller X-Loop: caml-list@inria.fr X-Sequence: 19241 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: --0000000000002b4b02062a5db09e Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable + `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.cm= x > -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 director= y. > Either that, or a downgrade to an llvm version that works. Can anyone hel= p? > --0000000000002b4b02062a5db09e Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
+ `which clang++` -O2 -std=3Dc++11 -fPIC -I/home/kennethad= ammiller/.opam/4.14.1+flambda/lib/ocaml -I/home/kennethadammiller/.opam/4.1= 4.1+flambda/lib/bap -Ilib/bap_disasm -c lib/bap_disasm/disasm.cpp -o lib/ba= p_disasm/disasm.o
lib/bap_disasm/disasm.cpp:2:10: fatal error: 'algo= rithm' file not found
#include <algorithm>
=C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0^~~~~~~~~~~
1 error generated.
Command exited wit= h 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 thi= s error:

lib/bap_disasm/disasm.cpp:2:10: fatal error: &= #39;algorithm' file not found
#include <algorithm>
=C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0^~~~~~~~~~~
1 error generated.
Command exi= ted with code 1.
+ ocamlfind ocamlopt -package unix -package ocamlbuild = -linkpkg -package findlib myocamlbuild.ml /home/kennethadammiller/.opam/4.14.1+flambda/lib/oc= amlbuild/ocamlbuild.cmx -o myocamlbuild


M= y 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 sear= ches when compiling. You would think that C++ ought to know where its own s= tdlib is, but apparently not. I think I am looking for a environment variab= le option to allow to pass in to ocaml builds some include directory. Eithe= r that, or a downgrade to an llvm version that works. Can anyone help?
--0000000000002b4b02062a5db09e--