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=NEOMKUcc; 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=mPt6V2sE; 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 572364AA89 for ; Mon, 2 Dec 2024 08:25:29 +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:cc:subject:reply-to:sender:list-id:list-help: list-subscribe:list-unsubscribe:list-post:list-owner: list-archive; bh=WPESa+YwpvDTioqhxvTNA0a9mlK0xeZptAIsPWccohc=; b=NEOMKUccu4JkI3pQHeiQCb2O80S+V/ccdwgeZiDUEr3AZVoajSImvnSc vzxWoUzsCMoYTKvubqeS8Fdv7rpeVbI5lFhX/l7VLIoOTHc41cSKAMwoO bqHrZ2rBdZcVzu1TY1JtBGShEbQVLOF+TVn9/HAEW0x0a16hjTlBtmsPq A=; 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,201,1728943200"; d="scan'208";a="196761396" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Dec 2024 09:25:28 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 5E358E0D1C; Mon, 2 Dec 2024 09:25:28 +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 74250E00B6 for ; Mon, 2 Dec 2024 09:25:24 +0100 (CET) IronPort-SDR: 674d6ee9_+rl6a1guV/KJYvSKte1uFivcdCS64tYmBVB4BBRV1zn3j/i lRIS9NwkavllXxKDWr4D4wBBo/odOjBWDvwRmmQ== X-IPAS-Result: =?us-ascii?q?A0GbAgCIbk1nfDPbVdFagQmBU4JEfVk0BAtIhFaPTYIkk?= =?us-ascii?q?0yMCz4PAQMBDTsJBAEBAwSFAAKKYwIeBwEEMwYOAQIEAQEBAQMCAwEBAQEBA?= =?us-ascii?q?RABAQUBAQECAQECBAYBAhABASIZBw4SKYV7DYJiAYEkYQIFAzsBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEFAg0fXwEBAQIBEhEdARsdA?= =?us-ascii?q?QMBCwYFCwMMAiYCAiEBEQEFARwGNYJggi8BAw4jAxEGo3+BBUKLPoEVBQIWg?= =?us-ascii?q?QGCDQbaXAoZKA1vQYEgAgEGFIEGLoRzKVyCNx0BgWyHenongiiBFTWCRDE+g?= =?us-ascii?q?mEBAQKFOYJpBII+hRIliG8Rm2QmCAEGFwMHBwkFBAkTBgUFAkIJBgUKEgMEA?= =?us-ascii?q?wQEAQILEwkDAwIOAggDAggGHwE/EgQTCg0LBwUfCgcMEQooBCIEDxIcEAECA?= =?us-ascii?q?TEDBAUDBQMDBAcBAgUECQgBBAMCBAMDAgIDAggFBwQDCgYBAQEDBAMBAQUHB?= =?us-ascii?q?wMCAQEDAQEKCwgNBQMIAwYJAwQBAQIHCAIDDgICAgMCAQoGCAUBAwYhAQwDA?= =?us-ascii?q?QMDBQwEFAMEBQICDwwBAgMDBwMFAgICAgICAgUEAQIEAgQBBQQJAQICAgMCA?= =?us-ascii?q?QEGBAICAgMCBwwHAwQCBgIGAgMCBwsKAgMGBQUDBQIeAgMCAgQDAxUBAQMBA?= =?us-ascii?q?gECAwICAwIDBAEDAwIBAQEDBwICAgcGBQICAwwCAwMBAQYBAgECDwUFBgQBC?= =?us-ascii?q?gMCFAMFIgIPBQgBJgEeAgIDBA0IBQICBwIEDAIEDwUDAw4GFgYBBAgEBgQMC?= =?us-ascii?q?gMEDgcXEQEBBAQCEQcCCAICBgQCAgcaBgMFCAMCBQUQAgILAgQDFQQEGwMBA?= =?us-ascii?q?ggCAhgCAQcBAhIBBwICARQCCgMCBQYHAhwCAgMDBAQDAQUDBBADCwEFBgUBA?= =?us-ascii?q?QQOAQIBAgEBAgMDDgECAgMDAgIBCQICAQECDQgBBAMBBwIFAwUDCgEBAQIBB?= =?us-ascii?q?AkEDQYDBQMDBwMEAgMCBgIECAICAwMCAwEDAwIBAgMJAgEPDwoPAgIDBAIGA?= =?us-ascii?q?gIBBCYCARUFAgMEAgIHAgIDAQIBAgICBAIEAgIGAwkIAQICBwECAgIDFQIFA?= =?us-ascii?q?QQJAwMFEgwiAwMBAgICAwcKAwUCAQECBAMDAwMJDQcCAwECAQMFAwECAQIJA?= =?us-ascii?q?wYCAgMDBRIZBQMCDwMCAQUEAggSCwcBAQ8WBQQJBRUDBgIDAxYLBAUDAwMBD?= =?us-ascii?q?AUMDgICCwMXBQEBBwEDDggDBAQCAwMJAgEQAQMEAgkCBAECCgICAgICBAEBB?= =?us-ascii?q?QQCBAMCBQICAQgEAwMDDQQDCAgDBQMMEgICAgkCAwECAwMDBA0IFg0DAg0YC?= =?us-ascii?q?hUTBwcDAwQLAgkDBA0CBAICAQYDBgoGFgECGAICBgwEAwMJAgMCAgECAgIBE?= =?us-ascii?q?QICCQgNBQkFBgIWAwIDCAEJAw8DAhQBBgIIAwcBAQQCAgoTCgEBAgIBBigDA?= =?us-ascii?q?QECFBMHAwgCAgICBhYMAQUHAwcPBQUEAgIWAwMVBAQMAgUCAgMDAgEBFAYVA?= =?us-ascii?q?QUCAwYLAQYBAgUEAgMEAhQCAw8DBAMKAg8DBgMEBgMBAgwQAgQCCQoBBQQDB?= =?us-ascii?q?wUCHwMDAgIFCwIIAgIFAgUHAwkLBgECBQMECQIUAhACAgICCBcCAgICBQYYA?= =?us-ascii?q?yYCBAMDAwMLAQICDgkDBDsGEwQCAwMCDgECAgsBAgIEAgMBBAcJAwMJCgcBC?= =?us-ascii?q?g0HAgIKCAkQAQICDwcDAgICAgYHEAMCEw8FBgYCCgcNCgMCAQICFQIDCQYDB?= =?us-ascii?q?Q0DBwQKDwIVAhYFAyACCAkLAgcOBQIFEgMOBQMCAhIEAgMGBQMBBwEfAwcIA?= =?us-ascii?q?gINAgICAgUCBQIFGBEBDQQDAwMCCAEEFQYDCQgUGAgEAwsGHQICAwIEBQEBF?= =?us-ascii?q?gEBAQUBCQIDAgMEDAMDAwMCAwQOCwIBER0CCQMjDwMLCQgTPQELBzIEBjABF?= =?us-ascii?q?BQHKyFfoGZHhQZQyC8HhB2MF5VHM6pRmHuOApsXESMSgUgkgVxwUDGCNk8DG?= =?us-ascii?q?Q+SG8YaRTILMQIHCwEBAwmCOY9ggUsBAQ?= IronPort-PHdr: A9a23:37tzfh2qhlZ/RsUdsmDOjg0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BeGo6g9xwaQA82bs6sC17GO9fi4GCQp2tWojjMrSN92a1c9k8IYnggtUoauKHbQC7rUVRE8B 9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9I Ri4sAndrMkbjIhtJqos1xfEo2ZDd+BKyW91P16ekBjx6tuq8JJ/7yhcvu8q+tJdX6n9Y6k3Q rtUASg8PWwy+MPlqwTIQxGV5nsbXGUWkx5IDBbA4RrnQJr/sTb0u/Rk1iWCMsL4Ub47WTK57 6d2UxDokzsINyQ48G7MlMN9ir9QrQ+7qBx+x47UZ5yVNOZ7c6jAc94WWXZNU8BMXCFaHIiyc 5UAAPYAPeZAronyuV0OrQelBQKxAO/j0yJEimPq0aE/1ekqDAPI0xE6H98Wv3vUotf6OqccX +620afG0yvOYO9N1Dfh9ITFaAwtre2QUb9yd8fa1EkhFxnCjlWVsYHoIzWV1vgKs2id7upgU /+khWA9rA5tozivw8AsgZTOi40PzFDE6SJ5wIA0Jd2+UkJ0fMCrH4dRtyGfMIt7WcwiQ2Ryt yY7zr0Ko4K0fC8PyJk+wRPUdvOIfZSS7B35SOaRPSl3hGhjeL+niRu/8ketxvPhW8S0zVtHs DRJnNfRu34C1RHe7saJRPR880qlxDuC0wDd5v9KLE40iafVK4Mtz7o/m5Qdr0jOAyn7k1j4g q+Rc0Ur4Omo6+L/b7Xpp5+cK490ihzlPag0hsO/BuE4PhASUGic/+S82rzj/ULkQLVQkPI6i LPWv4zcKM8GpaC5GxdY3pg/5xu7FTur09QVkWMZIF5YfB+LlYjkN0zILfvlE/q/h0mskCx3x //YJL3vH5TNL3ndn7r5Ybpw7VNXxhApwtBF/Z1UD6kMIPLtVU/1s9zVFho5PBa1w+bjEdl9z 50eVX+WDq+XMK7erEWE5u0oI+mLa48VvCjyJ+I56P7piH81gV4dfa+30psLcH20AOhqLkGDb XfvgtoNC3kGshc6QeDwiFCOTCZfZ3OoUKI94jE7BpimDYDGRo21mrOB2ju7HppQZmBHDFCAC 2rneJuYVPcNbSKSJdRskjMBVbe7So8h0QuiuxP9y7piNubU/DYXuor51Ndp/+3TiQ0y9TtsA siAy22NVX17nnsURz8q26ByuVByxU2G0ah8mvBYEd1T5+hVUgohLp7dz+l6C8joVQ7bf9eJT kymQtS8Dj0rQNIx2YxGX0EoONy+g1jv0jKuCr4F3+iIBYBx7rOZ3HHtKu561mrC064iyVIhR 50cG3ehg/tW8RTUAY/P22kYnKevcuxI1SjR82GCyyyCsUpZVQlYXqDMXHRZbUzT+4eqrnjeR qOjXOx0ejBKztSPf+4TMoWBZTRuQf7iPI+beGetgyKrAg7OwLqQbY3scmFb3SPHCUFCnRpAt W2eO10YASGs63nbECQoDUjmNkrq7e54qXX9QkI/zgSNR0Jk3ruxvBUSgK/UUOsdi4oNozxps DBoBBC41tPSBcCHol9oerlbZ9I7pltK3mPcsCRyO5WhK+ZpgVtNOx9vsRbI0BN6Qp5FjdBsr H4uy19qLrmE1Vpaaz6C9ZX5O7mSM3eruR7yMujZ3VbR1NvQ8aAKgBghg3PkugzhVk8r8nE8l sJQz2PZ/ZLSSgwbTZP2VE8zsRl8vbDTJCcntcvS0jV3PK+4vyWnuZphDfY5yhumY9ZUMb+VX A70HcoAAsGyKess01G3ZxMANepW+eY6JcSjP/eB3aeqOq5nklfExSxO5px61EOKsSZxQe/N2 L4KxviZ2k2MUDK9xFatv8brmJxVMCkIFznaq2CsD4pQa6tuOIcTXD32covnm5Mk3s+rBicLk TzrT0kL08KoZxeIOln03AkLkF8SvWTigiygiTp9jzAuqKObmi3I2eXrMhQdaQspDCFvi0nhJ Y+sgpUURk+tOkIgkgei40f8gaRWr6V6KEHcRE5Je279KGQoAc7S/vKSJtVC7p8lq3AdWeKgZ labTPjxrhAb1iTLEG5XxTR9fDav8Mac/VQymCeWK3B9q2DccMd7yELE5dDScvVW2yIPWChyj TS/6kGUB9Cy5p3Ukp7Ctrv7TGe9TthIdjGty4qctSy97GksABulnvn1lMe1WQQ91Cb60ZFtW 0Cq5F71ZJXs0aW8d+5qdUhtA3fz7sN7Hsd1lY54iJwL2Hccj4mY5jJdyTa1YYgdg/uvKidUD TcQprydqBDowkhiMm6Ey8riW3ORz9EgL9i2b2UK2z4susVDCaOa9rtBzmN+plu1qx6UYOAox G9Mj6tzriRD0qdU4VlIrG3VGL0ZEEhGMDa5kh2J64v7t6BLfCO0dqD20kNinNenBbXEowdGW X+/dI1xeE04psh5Ll/I12X+r4/+f9yFJ9sVqhqSkhGGg+VeKZc2vvUPjCtjf2n6uDd2roxzx Qwrxpy8sIWdfi9k+r6+BB9ecDH4bMIW/RniiK9fmoCd2IXlTfADUn0bGZDvS/yvCjcbs//qY h2PHDMLoXCeAbPDHAWb5RQuvzfVHpusLX3SOGgBwIAoWkyGPEIGylNxPn1yjtsjGwut3sCkb Epp+mVb+AvjshUVguNwa0ukDyGG9V/uMGtrDsDYdkYe7xketRmJd5bFtaQqQXkeptr4/WnvY iSaf1gaUz9PAxTeQQilZv70vZHB67TKWLT4daefJ+XW77QZDa/AxIrzgNQ8uW/QcJzeZD86S KRrvygLFXFhR5aGx3NWEXFRz2SVKJfF7Bakpn8u9pD5qau0HlKpvczVUvNTKYk9ok/tx/7Sa 6jIwn4+cGg9tNtExGeUmuJHjRhC1mc3LWnrSfNZ6mbMVP6CwPYJSUNLLXoibo0QqPttlghVZ ZyB042zjOUpyKVvTQ8CDA2E+Inhc8UOJyvV2ErvIkGNOfzGIDTKx5qyeqagUfhLi/0SsRSsu DGdGkulPzKZljCvWQr9eedLxDqWOhBTouTfOl5kFHTjQdT6axa6LM4/jDs4xqcxj2/LMmhUO CZ1ckdEpLmdpS1ChfA3F2tE53tjZe6K/kTRp/HfMYoTuOB3Dz5ckutb5DEj1eIQ4nwdAvNyn yTWo5hlpFTn2uiDxzx7UQZf/zZGgIXY2Ccqca7d95RGRTPF5EdXtTTWW0lM/YI0TIC26MUyg pDVman+KSlP6YfR9MoYXI3PLd6fdWEmKVzvESLVCw0MSXiqM3vejgpTiqL3lDXdo54kp5zrg JdLRKVcUQl/H/UGDUJkGpoOLZx2WzQMnruSjcpO7n275kq0Jo0SrtXcW/SeDO+6Yi6elqVBb gAUzKnQKI0SMsjixRUnZAQj2ovNHEXUUJZGpSgrPWpW6A1dtXN5SGM0wUfsbAigtWQSGfCDl RkzkgJiYO4p+V8EDH84I1PLoG07l0xjwL0NYBiUeT/1ab6uBMRYVnOyuE82PZf2BQ1yaF/q9 aSBHDjBTrNVybBncDIz4DI= IronPort-Data: A9a23:M7lgkK/eQBh/5+1CqM6zDrUDLnqTJUtcMsCJ2f8bNWPcYEJGY0x3m GBLC2qPbvbbZmP0ct5zOdi/p00Av5DXmIQ2GwE5pStEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPymYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWcuWo4ow/jb8k825qyr4GlwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TEm8wtJ2RmNIAi+u9sXW9w3 8YSLTcUV0XW7w626OrTpuhEg80iKIzyItpatCw5iz7eCvkiTNbIRKCiCd1whm9hwJATW6yHN oxEMFKDbzyYC/FLEl4RFJU4neHuinT0cjhfgF2QrKszpWPUyWSd1ZC0aIGMIYPUFJ89ckCwu SXP4nTGXREmMPedkjqPy0qjnfbDtHauMG4VPOblr6Y10QP7KnYoIBYfUF/+pfiilmalStdHI goV/DAvpO487iSWosLVWhS5pDudoEdZVYcJVeI97w6Jx+zf5APx6nU4oiBpMOVln+pmTDEQ1 laSw93XLwZltbqMcCfInluLlg+aNS8QJG4EQCYLSwoZ/tXuyL3faDqfEb6P94bl3rXI9SHM/ tyckMQpa1wuYSMj0qy6+RXenWvpqMWQCAEy4QrTUySu6QYRiG+Zi26AuAKzARVoddnxory9U J4sxZL2AAcmU8jlqcB1aL9RdIxFHt7cWNEmvXZhHoM66xOm8GO5cIZb7VlWfRgyaZ5bJm+5P RSM5mu9AaO/2lP6MsebhKrhWqwXIVTITIWNug38N4UeMsYuLlfvEN9GORHKhz+x+KTTrU3PE czGKJ7zXChy5VVPwz2xSOMQmb4tzWZW+I8gbcGT8vhT6pLHPCT9Ye5dbjOmN7llhIva+lm92 4gEbKOilU4PONASlwGNreb/23hQcCBjXfgbaqV/Koa+H+aRMDx4W6CJkel5K+SIXc19z4/1w 510YWcAoHKXuJENAV/VApy6QOq3BsotnmFxJiE2I1ej1l4qZIvlvu9VdII6cfNjvKZvxOJ9B atNMciRIOV9ehKe8RQkbL75sNNDcjavjlmwJCaLWmU0UKNhYA3rweXaWDXT2hMANQeNjvtmk YacjlvaZbEhWzVdCN3nbaPz7lGp4lkYtuFAf2rJBdhxfk/T3pBgAHHzhKVvIuUnCxbK9h2F3 Sm4XDYaoujspdcu0d/r3KqrkaagI9FcLGF7QVbJzO+RHjbI20ae2ql8afasURGBcXLr6YOgS P5wzfqhAMYYnV1PjZVwI4xrwY06+dHrgb1QlSZgI1nmcHWpDaFGMFCd/MwSqJBI+KBViTG2V m2L5NNeH7eDY+HhMVwJITsafvax7u4VlhbS/MYKDh3DvgEvx4W+UGJWIxWoow5eJuEsMIoan MEQiPRP4Am70hcXItKKix5PzFu1L1sCbr4Gs68LC4q6myspzVB/OabnMBHU263WSdtwMRgNG AS21Y7inLVXw3TQf0UjTUbt2fVvvrVQmRRo4mJbGXG3tIvkvMIn5DxQ7jU9cSpNxDplze9YG zZmJm91F4q07hZqg8lJYE60ESoYFBGb11DDyWYZsGjVUUPyWnf/FzA/M7zV/WQy0WFVTh5E9 p62lUfnVjfLepnq/y0QAERKld3qfeZTxCbjxv+1OtujHoZgRyjImYqsWDY4kATmCsYPm0H3n +lm0+JuY6ndNyRLgakEJ6SF9LYXEjaoGXdjRKx/waY3Am3sQjG+9jyQIUSXeMkWBfjr81e9O vN+NPB0SBWy+yafnA81XZdWDedPo8cow94edpfAB20M6eKfpwU0lqPgzHH1gWtzTuh+lco4F JjqSAuDNW6tnlpRpX7GqZhVG2i/YORcXjbG4sKOzLwrGa4A4cZWSmNj9puvvn6QDhlrwALMg iPHeJ3t7rJDzaZCotLSN5ttViuILeH9buCqyDyIks9vaIrPOPjetglOpVjAOR9XDIQrWN92t OqstdLr7XzBp5IzdX7ToLiaNqxz/c7pdvFmAsH2C3h7nCW5R87n5SUYyV24MZBklNB85NGtY gmFNO+cUMEzYMgE4lF4cA1cHAQ5J4WtS5z/tAWvq/ioIToM4zztdd+I2yfgUjBGS3UuJZb7N D7Rh9+vwdJ996FnGx4OAqBdMa9SeVPMd/MvSIzsiGO+EGKtv1Klv4ninzoG7RXgKCGNMOT+0 KL/ainOTjaAk4CW84gBqK13hAMdM1hli+ppfk49xc9/uwrnMEE4d9YiIbc0IbAKtBft1aPIR iDHN0ojLiTfYQ5qUzvB5PbbYwPOIdBWZ/nYIGUl8XrBPm3yTMmFDaB6/yht32Zud3GxhKu7I NUZ4TvrMgL33phtQv0J6+emhft8gMnX3W8M5Vu3hvma78zy2lnW/CcJ8MtxuS37/wXlkUzKI S0sWzkBThziD0H2FslkdjheHxRxUPYDCdk3RX/n/Todk9zzIC58JDnXNOT607lFZ8MPTFLLb W2iXHODugh6xVRK0ZbEeLsVbWtcBveCH8z8J6jmLeHXc2dc9Ux/V/4/ceEzoA3ONeKR/54xV tVh3pTmOHm4FQ== IronPort-HdrOrdr: A9a23:uUv5ma3VsIvbNrlrjacGLwqjBJ4kLtp133Aq2lEZdPWaSL3hqy nOpoVh6faQslwssR4b6LS90cW7MBbhHNtOkOss1NSZPDUO2lHYS72KhLGKq1bd8m/Fh41gPM xbAs5D4bPLfCFHpPe/zg39PdhI+ra6GWOT6ds2DU0BceinUc9dBs5CazqmLg== X-Talos-CUID: 9a23:2W72vWG/Plj+zE2PqmI/zQ0/P5Asf0fdxWyMLXGSM2xsT6SsHAo= X-Talos-MUID: 9a23:UkbVDwVq8UUH/tjq/CCrjSxyC5ho36CFChsNm6w+tNKdOQUlbg== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.12,201,1728943200"; d="scan'208";a="103137692" X-MGA-submission: =?us-ascii?q?MDHGzEYdjV+Zhg+saQPEEh14dBpyZrVothDAmu?= =?us-ascii?q?uNeSPcFz/Vp/l0aZ07e1DbcMli/wHgU9AP8tVi7lKsOI4haP1Ymkdidm?= =?us-ascii?q?L1Z10mIxaIGN0XZjhQr2VpCG2d8/D+2FRhRAAy/lJnC08PNX1xcoojds?= =?us-ascii?q?da3bWZI3MPbkP4/EcF9h3Suw=3D=3D?= Received: from mail-qv1-f51.google.com ([209.85.219.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Dec 2024 09:25:13 +0100 Received: by mail-qv1-f51.google.com with SMTP id 6a1803df08f44-6d896be3992so8723586d6.1 for ; Mon, 02 Dec 2024 00:25:12 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1733127911; x=1733732711; darn=inria.fr; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=WPESa+YwpvDTioqhxvTNA0a9mlK0xeZptAIsPWccohc=; b=mPt6V2sEGqWkPlaK9ryCXOf3nusw6mRPcQgzIlZ3GOMSn3AOd5yxsNH3WxbWs6x+8H GpkdxPcloyNPfR7vO5tX78F04moPbjly9QiBbflyAqPR9z57h0VDFQqzHA190C/vt4Nn +gdSUAz/oqTc8RUUZNOZ9U/nkqA8O5QdeVdZkEzhDg+uJyeq9b+RDXbY0JRinl/+GXuZ bXyszWbhj0WSgmesPE8c9EgwM3F+l43eKaNPQS2ZPnZB2Mzh4B4uRHj3vQYvgT3ku/6o 6PXjHf6uE9tP5r5czCrg9xqPjYy8fVkEkDsHfd4ojTdJzD3Z7bkXiSPWi4tqsiLDGNrI q4ew== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1733127911; x=1733732711; h=cc: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=WPESa+YwpvDTioqhxvTNA0a9mlK0xeZptAIsPWccohc=; b=SfFYj8/sZuAeFDe11W+XxyoC3CcQQm9Cnn1D3u5fopQ9SkZCiYFuS6oN2zQs5v7Ho4 KXLRfQZhjh63EtGFOVaHCL9a0WyQc36/rclzguJP0VYRl2p00CefcKiz1xwJ8LkvH/S4 k14ZXMOTRooj/WxwPcYLvqcWJiXm/F2JqREHREAVcpk96sBpNoz+D1oeuFsyVSbSll1I 76xtxQk6OndoPbNBY8jaLf8j/Kv01BHXL/tDYXEiuxVg35nRx7OVjIRzKJStoH6+Orcs ngao0nQsjefzBfaXeW5e71/cXPyz3hT2YwpSF2RDUph7GKMP7evu5l1426DvPTQBqD/G EGyg== X-Gm-Message-State: AOJu0YwG4qzUnlOXMUR5jniyLwW60omDnFSoJyTeCKKdM2nSGtATd1MR FPIJRNmUaAvZumo5lKjzJCTD4FGGnZKxao7vxQOX/0A/9XZhhsEl/e0RypRfcfmVOjf6cZm/HVY nVioPqaqS8MwkJE3Q+qvga3A5qCsPm2JoVw8= X-Gm-Gg: ASbGnctZRQFn4JwLtQ3BEQ/phZ9I1PM3Z/sgV0z50U2x8FN3z3jQTmedlZ+aiNme1ZU /KN61Bzw0E2gvJJ3ZVu0AWc7YDl/xgtINCX85a7f8wnZvxkJuOigL5YjpTbBd3lTg X-Google-Smtp-Source: AGHT+IH8CEd4Rfbkimg++hHejy1AUB6a+1j/EH9z5plJ3lurPI4s9R1mZS7b4h9hrx0asorOzKzsI6zgqaLC04rRxLc= X-Received: by 2002:a05:6214:ac4:b0:6d8:9a85:5b3d with SMTP id 6a1803df08f44-6d89a855d4cmr113023106d6.7.1733127911488; Mon, 02 Dec 2024 00:25:11 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: =?UTF-8?Q?Antonin_D=C3=A9cimo?= Date: Mon, 2 Dec 2024 09:25:00 +0100 Message-ID: To: Kate Deplaix Cc: "caml-list@inria.fr" , Andreas Rossberg Content-Type: text/plain; charset="UTF-8" Subject: Re: [Caml-list] Static linking with Mingw and dune Reply-To: =?UTF-8?Q?Antonin_D=C3=A9cimo?= X-Loop: caml-list@inria.fr X-Sequence: 19225 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: > Regarding OCaml 5.3/mingw64 you shouldn't need to have to do anything with libwinpthreads because it's only used for the msvc port, not the mingw one. That is not quite exact, winpthreads is used with mingw-w64, but found in the system installation, and linked to. It is vendored for the MSVC port and we *statically* link into the runtime only the parts we're interested in. To statically link with winpthreads, I suggest you do all of it manually: - clone winpthreads sources at https://github.com/mingw-w64/mingw-w64, go to mingw-w64-libraries/winpthreads, and build a static version of the library with your preferred toolchain; - hack the OCaml compiler / Makefile to *not* use `-lpthreads`: https://github.com/ocaml/ocaml/blob/5a5eb481c7a9d0f039e3169aa8ed19c9b926e982/configure.ac#L2372-L2373 Maybe it's just sufficient to set PTHREAD_LIBS when invoking configure; however seeing this line makes me think that winpthreads is already statically linked with the runtime. PTHREAD_LIBS="-l:libpthread.a $link_gcc_eh"] Haven't dug further. -- Antonin