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=h7IQso28; 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]) by plum.tunbury.org (Postfix) with ESMTP id 196DB4008C for ; Thu, 16 Jul 2026 13:30:05 +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=dLsW8a3U/7E1dPVyOjp1MD9kOzFPH/guPDP98Z4WgD4=; b=h7IQso28qqI2Gt46qIaEZCuJ7TIYc9nZInO0iiH+TBCyKwK2XLrLMwd6 o4EOBNfpSl8nFGShPhME6v2/XVyYfp9Fk1Md92n5jkS/1TCaac9UDz6ZN mhEQsGVerFAFmwngnzOXQzpO9QoR9YH9VT6KqH1XGXu1TmlVkDEZz6oA2 E=; X-CSE-ConnectionGUID: h5sWirEnRWypZN97elT1vg== X-CSE-MsgGUID: 2ZP6SOx2R+ymFsSMP5zLfQ== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@prod-sympa-app.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.27 as permitted sender) identity=mailfrom; client-ip=128.93.162.27; 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 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@prod-sympa-app.inria.fr) identity=helo; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@prod-sympa-app.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.25,167,1779141600"; d="scan'208,217";a="286592738" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Jul 2026 15:30:05 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 271A7816DA; Thu, 16 Jul 2026 15:30:05 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id B8DAC80E8E for ; Thu, 16 Jul 2026 15:29:55 +0200 (CEST) X-CSE-ConnectionGUID: jzzCEhSKRGSke8ThyRJHYg== X-CSE-MsgGUID: xh7Zb3KWRNOUOXUEVEjKTA== IronPort-SDR: 6a58dcd3_ngqMuoTP7KfBrfDKMPaWACJxtjYKo7DzlzO5jNUJGMIFxRa RUdCvyvNPE/6H+nTHdES7SqywLKhxiysKKYppBA== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0GUBwBo3FhqfCvgfUpahRp3AXA0BAtJhFiBI44vUwoGg?= =?us-ascii?q?TsGi3eHVYN4iBY9Ag8BAwENUQQBAQECBIR+Ao1SAh4HAQQ0EwECBAMCAwEBA?= =?us-ascii?q?QEBAQEBAQEBCwEBAQQBAQECAQECBAMBAQEBAhABASIZBw4SKYZPDYJbgSxhA?= =?us-ascii?q?gUDOwEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQUCLFUKA?= =?us-ascii?q?QEBAgESER0BGx4DAQsGBQMBBzcCAiEBEQEFARwZIoUDAQYQAQMQJwOyGYECQ?= =?us-ascii?q?os9gRUFAhaBAYINBtpoChkoDXWBClwCBxaBN4R4Kl2CPh8BgV8DDogJeieBG?= =?us-ascii?q?IEQgUqCdj6FEIMOgmoEgiKBDIN0jVwmCAcXAwcHCQUECRMGBQUCPwkFAQ8SA?= =?us-ascii?q?wQDBAQBAgsJCgkDAwIOAggDAggGGQE/EgQTCg0LBwUfCgIMFAooIgQOKwoBA?= =?us-ascii?q?gFVMAEIBgICBAQCBAIKAgkCAgUHAhEDBAEBCAICAyoDAQMZCAkIAgsFERgMC?= =?us-ascii?q?wcxAxAJAwIdFxYFCBE0CAYWARoHBQYLASAWFAEFDBEBAhsCIQQdARAIAwEHA?= =?us-ascii?q?w4EBAIBCwMEHQQDAwUCAgkJBAwPAQoSFQMDCwMHDwINBxQFIAMCDgIJCAwXA?= =?us-ascii?q?gICBgIDAwMKAQIBAQEBAQEBCAMDAwIDGQcGAwMBAQMBBAQDAwIDBQEDAwMFA?= =?us-ascii?q?gIKBgkBAQEBAwICCAMHAwoJAgUDGwMgBgECAgMCAQIGBgMHAQoDBAIIBQMDB?= =?us-ascii?q?AIDAwMDAwMDBAECAgEBAQIDAQMDBAMBBgIBAwcCAgMDAwsBAgMDAwUDBQEFA?= =?us-ascii?q?wUCAgMFBQMFAgIKAgMDAwIBAwIcAwgDBgMSARADAwYBAwcDBwIEAwgEAwYCA?= =?us-ascii?q?wgDAwIJCAMWBgMDAwMFAQICAgMFAwMDCAgEAwMEAgIDDAIGAwMDAgMDBQMDB?= =?us-ascii?q?wIEAgMGAwMDAQMDBQECBwIDBwIBCwsIAwIEAgkHCQcBAgMLBAIEBgQNCQQCB?= =?us-ascii?q?AICDwQEBQMDBwEBAgECCAUGAwICEQUICgUGAgICHQMiAgEPBgEJBQIBBQ4HB?= =?us-ascii?q?QICCwYDBQYDBAcHAwcGAQEDAgYCBgIFAQMBCgELAQECAwMBBAUDAwUHAQIEA?= =?us-ascii?q?gcDAwMEAwMDAwEBAgIEBgQDAgMHAwMDAwMEBQUFAwIFAgQDBQMHAgMDAgEFC?= =?us-ascii?q?gEEBQQKAQMDAwMFBQMCAgMDBAECBAYDBAIDAQIIBAYFAwMDAwUCAwMCAgIDA?= =?us-ascii?q?wUBBQIDAwMEAwMDCAcFAwMFAgkDAwkDAwsCAgMgAwsJCBM9AQsHMgQ2ARQUB?= =?us-ascii?q?ykhX41VI4J8UYIKx1MHhCChdQQvqmyZCKkyESQSgUkjgVxwUDGCNlADGQ+SI?= =?us-ascii?q?8swRzI/BwIHDwKSJ4FMAQE?= IronPort-PHdr: A9a23:0U6R4havvxmn87Yn9LTNtOb/LTG92oqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1wGPBdyQsaMf26KW6/mmBTdcp87Z8TgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgXO voHf3Jeu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYnbr+tQt2agMu4zf299IPOaAtUmjW9falyL BKrpgnNq8Uam4RvJ6gwxxfTvndEZutayX1sKF+dnBv3+8O88IJ+/yhKtP8s+cFNXb/mc6gkS LBTESgrPX0y6MD3uhbPSheC6GEBWWsMiBpIBAbF7BD+Xpjvtybxq/Rw1iqHM8DoVL44QTus4 b9kRxPxlioJOCM3/HnYhcJsgq1bpgmhpwFkzI7PfI6VLvt+cbjDct4cWGFMQ9xeVy1FAoO7c osPE+8MNvtWooXhu1cDqwa1CA+xD+3t1zBInGf70qI00+sjEQ/I0g8uEc8QvnvIt9j6LrseX PqvwaXU0TnObfVb0ir95ojSdRAhpOmBU7dtesfW1UYvDhnJjk2Opoz/JDOV0eINvHKf7+d7W uKvjnQoqwB1ojS12sgsjYzJi5sTx1vZ+ip33Jw7KsekSE5nf9GkCp1QujmUOoZ1Xs8vXn9lt TomxrEbpJK2cygHxZo7yxPBdvGLbYeF7g7iWeuMPDp1mG5odK68ihuu7EWuyu3yWMa13VtIq CdOj9rCtmgV2hHR5cWLUOZx8lmh1DqVyQzf9O5JLVo7mKfVLZMq36Q+mYAJsUvZGy/7gEX2g 7GSdkUj4uWo7v7oYrTippOFN451hRzyPr0gmsGwD+k0KAcOX2+c+eSz0L3s41f1T6lNjv0zi qXZsZbaKtoHpqOhAQJY3Zwv5wuhAzqmytgUg2cLIV1fdB+IgYXlI1TOL+r5Dfe7jVSsijBrx /XeM7L9G5XBNGDDn6n7fbZm7E5czhA8zdRE6pJbD7EOOvPzWkvruNPECR85NhS4w/z7B9Vly oMeRWWPD7eFP6zItF+I4vsjI+2NZI8OpDbwMOMl5v7rjX8hg1ARZ6ip3Z0NaHC5BPtqOUuZY WD0jtcHCmgFphA+Q/DyiF2eTT5TYG6/U78k6jE0Fo2mCoTNSJq1jbOPwSm3BodWaX5YCl6PC 3nlb4CEVO0NaCKWO8NgkjMFWaW4R48v2hyjuhX2y7VgLurT9S0YsYzs2MJp6O3UkBE+7SF7D 8ec02GIV2x6hmwGSDEo0q5jvUFzzE+P3rV9g/NCD9xc++tEXB8jO5DEwOJ2E8vyWhrPftqRU lirXsioDywpQtIq298ObV5yG9W8gRDH2CqnG6cbmaWTCpI7oerg2C36LsN5jnLHz7UJjl88Q 8IJO3f1qLR48l3wT9rCigOBmryxcqIV2AbC8W6CySyFu0QOA104arnMQX1KPhielt/+/E6XF 9dGaJwiOwpFkouZL7dSL8bulRNATeviP9LXZySwnX2xDFCG3ODEd5LkLkMa2iiVE00Yi0YL5 3/TPhF4Hiq7uGXYBThGGlfmYkeq+u57+zugVkFh9wiRdAV60qatvBschPiSUfQWi7kd/j8ss S5zGl+5993TAtuE4QFmefYUessztXFA02+RrAlhJtqgIqRl00YZaBhytljy2g9fD4xBlY07v CpvwlYpb62f11xFenWT2pWY1qT/DG708VjvbqfX3gqby9OK4uIU7+x+rVz/vQavH05k8nN90 tAT3WHOrpPNRBEfV578SCNVv1Bzuq3aby8h5ojVyWwkMK+6tSXH0s4oA+1twwipftNWOqeJX AHoFMhSC8+rIe0s01+nC3BMdOtLsrY5JdihcfKC8KGuNedk2jmhiCUP4Yxw1F6N6zspUvTBj N4Ox/CV2BfCVi+p0wvn65qq39oeOXdORTnaq2CsHoNaa6xscJxeDG6vJ5by3dBin9v2XGYe8 le/BlQA0cvveByIblW70xcDsCZf6XGhhya8yCR51j8zqa/KlifXhfzvbgEAPGdPbGZnhFboZ 4OzippJOSrgJxhsjxaj6UvgkuJQveJnInPIRkFBewD5KmhjVu27sb/IMKstoNs49C5QVuq7e 1WTTLXw9gAb3y3UFGxb3Dkndjuut/0VhjRCgXmGZDZ2pXvdIoRrwAvHocfbXbhX1yYHQy9xj X/WAEK9Np+n54fcm5DGu+G4H2WvM/8bOSLyi5uNrjC842RuKRK6lvG33NbgFEA23DT62N9jS SjT5EmgJNCxiuLga74hIhIgDUS088dgH4BijoY84fNYkWMXgJmY5ztPkGv+N8laxbOraXMMQ TARxNuGqAPh2UBlMjeI39emCjPEmJYnPYPmJD9NiUdfp4hQBayZ7aJJh35wq1u89kfKZORl2 ywa0b0o4WIbhOcAvEwsyD+cC/YcBxo9X2SkmhKW4tS5tKgSanyodO3631M4hd27F7aEqwV0V 3Pwe5NkFih1pJYaUhqEwDjo54fodcOFJ9kK8AWZiQzHieFRAJ00n/sOwyFgPCiu2B9tg/5+h hto05aguYGBIGg456O1DClTMTjtbt8S8DXg3u5O29yb1Ie1EtB9Cy0GCdH2GOmwHmtY5pGFf 06eVScxoXCBFf/DEB+DvQ14+mnXHcnjNmnLdiZFi4w4GV/FYhQY2V5cXS1mzMRhR0b6mYq4K hc/vndIuTua4lNN0rw6bUGnCzWD9FnwOGtkFsTNfl0LsElD/xmHa5DGsrAtT3kArMHx8lDfe CvGOWEqRSkIQhLWXQ67YeugtdOYobTIWLbsfbyTP/2PsbIMDafQncD03NM0o2bSapfdeSQ8a p9zkktbAyIjEpyByWxTFnRFy3KTM5zJ40risixv8JLl+6zlCgzluNPdV+sMbYc9vE3oybGKM +ra7MpgARBf0J5EhXrBybxEmUUXlzkrbD61V7IJqS/KSqvU3K5RFR8SLS1pZoNO6Oon0w9BN NS+6Ju936NkjvMzF1ZOVEDw0sCva8sQJmihNVTBTE+VPbWCLDfPzon5e6S5AbFXiexVsVW3t 1P5Wwf7OS+fkjDySx21GeRFjSXeLQwH/Y/hKVBiDm/sSN+gYRq+cZd2gTAw3bwolybKOGobY l0eOwtGqryd6z8dg+0qRDAHtyA4a7Pex2DFtLq9SN5eq/ZgDyVqmvgP5X07z+AQ9yRYXLlun zOUqNdyolagm+3Jyzx9URMIpCwY4eDD9UhkJ6jd8YFNHHje+xdYp26JTQwHvcBiDNTrk69Vw 9nL0qn0LX0RlrCctdtZHMXSJM+dZTA5NgH1HTfPEAYfZTuiNGWallwE1f/OrTuaqZ81rpWqk 50LAOw+NhR9BrYRDUJrG8YHKZF8U2Y/kLKVu8UP4GK3sBjbQMgyVn/vWfebAPGpIzGc3+Asj /ogxLr5KcECJtS+1RA5LFZ9m4vOFgzbWtUf+kWJiyc7pUxM9D51SWhhgyrY IronPort-Data: A9a23:P+CPKKgWkHnsYUdy9VhMnjdXX161vhQKZh0ujC45NGQN5FlHY01je htvWT2Ha6yLY2f8KdB0aIuxoUkFvpPdn9JiHVM5pXw8RHwW8JqUDtmwEBvMMnLJJKUvbmo3t pREMoGowOMcFyKH+E/1atANiVEmiMlkk5KlULas1hhZHFEiEGF9z0o6xYbVu6Yw6fChGQSBp NjulMPWPV6hylZcP3kdg065gEoHUM/a5nVC4zTSWdgR5AWAzyZMUspGTU2MByKQrrd8TrbSq 9nrl+nRElPxp38FFt6jm7DnRUwGKpa6FRSOkHdfR5+5iRFEoCEouo5jXBbLQRo/Z52hxrid+ f0V3XCCYV5B0p7kwYzxZyJl/xRWYcWqzpeXeCnl6ZT7I3ruKBMAy902ZK0/0BZxFuxfWQmi/ tRBQNwBg4zqa0tbD9tXR8E17vnPIvUHM6sdqGNL4DHiLswJepPOE5nK9OV6/AY/05Um8fb2P 6L1aBJqZRXEJgxfYxIZVMl4k+CviX3yNTZfrTp5p4Jovy6KllE3iuKxdoaOEjCJbZ09ckKwr XuA52njGRYcPdi3xj+M83bqjejK9c/+cNtPTufhpqM13DV/wEQDCEIkXwCYnsOfrXOZa+9yF WEW2RYH+P1aGEuDFYSkB0Lp/hZopCU0UNNVF6g+6RqR4rHF5h6QQGkCVD9ILtI83PLaXhQv3 16N2sL5XHlh7ObTRnWa+bOZ6zi1PED5MFPuewcGXxkuztnYg7sctRHCHupjAZSXruz6TGSYL y+xkMQou1kEYSc2O0iT+FnGh3e9tsGMQFJuoArQWW2h40VyY4vNi22UBbrzva0owGWxFwjpU J04dy62srlm4XalynTlfQn1NOv1j8tpyRWF6bKVI3Xey9hd0yX+JNgPsW8WyLZBPcEDdjvkK E7VskU52aK/yECCNPctC6roU5pC5fG5SbzNCKqIBvIQOcMZXFHcrElTibu4hTyFfL4Ey/xnY c/znAfFJSpyNJmLOxLqHb5Ej+5zl3lurY4RLLiipymaPXOlTCb9Yd843JGmN4jVNYvd+F6Jo eVMfdCH0QteW+DYayzau9xbZ1MTIHRxQdi8p8VLf6TRakBrCUMwOc/3mLkBQo1Cm7gKt+Hq+ nrmZFRU5mCijlL6KCKLSEtZVpXRYbhFo0gGYBMcZWST5yB7YKKEzrsuSJ8sTLx2qM1h1aFVS tcGSeWhA9NOaDbMwGkCX6nfvoY4KRShqCiINRWLeDIUIpxqHVTI3vTGfQLf0jYEIQTqlMk5o pymjhj6R7haTStcLc/mUtCd5HLvgmo8wcVZQBHuMNpIXUfd4KxGDjPXsKcsAscuLR7j+GOr5 zyOC01FmdiX8p4HztbZoIul8aK7GPRaNWhHFTD56b2WC3HrzlC7y9UdbNfSLCHvb0KqyqCMf u4P8urdNscAl1N0s4ZRNbZn4KY9xtn3rY9h0QVWMyTXXmuvF49fDCGK7etXuo1J441piw+8d 0aM29tdYJGiGsfuFnwPLwsEMMWH89wpmQfp0PdkG3WiuRdL/4eGX35CYDiKqihWd4VuPK0fn OwOhc8x6i6EsCQMDOqotC5v2l63HiQyaJl/7pA+K633uzUv0WBHMMD9CDepwZShaOdsE0gNI x2Wj5GfmIZs5FjIKSczH1Xn2+Biq4wEk01IxgVaJnCiuNnMttko1jJ/rBU1SQVu3zcW98lRK 2RUJ0lOCqHWxAhRhe9HRHGKJw5aIh+Sp2jd6gEsr3LLamWWWkjmDnwPCczU8G83q2tjLyVmp peGw2PbYBPWVcDW3A5pfGV6qvbmHOdDxieblO+JR826ToQHOxz7iaqTZE0NmRvtIeU1oGbl/ eBK3uJBWZfXBB4qgZ8QKteljOwLaRW+OmZ9b+lr//oJEUHiaTiC42WyBH7rSPxdBc7h0BGeM NNvFPJtRh7l9SeprxInP4AuDYJwvsYU4IslRuu2C08A66CSvxh4gqL2ryLevlImc/9qsMQ6K 77SSQ68L3yttSNUtVPg/MhgEUikUOYAfzz5jbyU8v1WNpcts9NMUEAV05mojkqRKy9X+06xh 1rGQYPz0t44mJpexZvoNqBlGQ+PCMjSUd6Q+1uZqOV+btLoMObPuTgKq1LhAR9kALsJV/lzl pWPqNTS3n6ZjI0pUmvcpYaNJ5NJ6eq2QuBTFMD9d1teogevR+7u5EEl112jCJkUju5Y2Nard zG4ZOS0a9QRfdVXn19RSipGFiciG7bFVbjhqQy9vsazJEAkiyKfF+ye9FjtcW1/XQ0LMcenC gbL5tCf1uoBp4FIXBI5F/VqBqFjG2DaWIwkSsbQsAeJBWz5k3KAvbrfzSAb0w/pMUXdMsjG4 sPifCPcJSSC4PSCiJkTtoFppRQYAUpsmeR6LApX59dyjCv8F2Ica/gUNZIdEJxPjyjuz9fCa SrQaHc5QzDINdienc4QPPy4NuteOgAPBjs9Djkg/kfRejfvQY3cW/1u8SBv53owcTzmpA1ix Rfy5VWoViVdALkwLQrQ2hB/qehiz/LegHkP/CgRVuTsVg0GD+xiOGNJRWJwuO+uLy0JvErOL GkxA2tDRSlXjKI3/dlIIxZoJf3SgN8jI/jEo8tCLBYzdrh3FNF99cA= IronPort-HdrOrdr: A9a23:DYi/66pZiUtEybQkmtVvpXkaV5r+eYIsimQD101hICG9Lfb1qy n+ppkmPEHP4gr5OUtQ5OxoXZPufZqyz+8S3WB8B8bEYOCighrNEGgA1/qB/9SDIVyHygc178 4JGJSWSueAaGSS5vyKmzVQfexQuuWvweSHgaPww39xURpncchbnn5EIzfePEkzagcuP/oE/V mnh/avZQDPRZ3fVLXZOkU4 X-Talos-CUID: 9a23:EuyBY228yYRUToM8JNrIv7xfGNI3WVDd91TqDHS7BDZVSKyva3+h9/Yx X-Talos-MUID: =?us-ascii?q?9a23=3AJUSW/g1wsSOagCT9xMMvaD8OlzUj86TxOkpWsqo?= =?us-ascii?q?8ne65EhxNFgmwjheLa9py?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.25,167,1779141600"; d="scan'208,217";a="152218574" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDFokHzNDKg2X/2TlXkx4p4JPPzqTr26qfw8qo?= =?us-ascii?q?cN3fLRHnrlLlpJw6qzuNQ7iNMKCLJDZ79WvpR/UwzZexorXVS0HFLwN/?= =?us-ascii?q?ivzCX5kHq2+CQG0CggH+LdGZ4edAWCmqJBUcU+RHLLAijtoapILsYG5w?= =?us-ascii?q?myTnCYtotOM0lSuF6PbhrcwQ=3D=3D?= Received: from mail-yx1-f43.google.com ([74.125.224.43]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 16 Jul 2026 15:29:55 +0200 Received: by mail-yx1-f43.google.com with SMTP id 956f58d0204a3-664a09bc459so10297904d50.1 for ; Thu, 16 Jul 2026 06:29:54 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1784208593; cv=none; d=google.com; s=arc-20260327; b=C4mhTFK4hcoGpMc5OGuKUy3sP6avQ2m2hZAsrnKbI2AGXOK5gQLBSGTqmGCy6URxoD rG8qNAdJj62BEmXcmq/n/qg3K5ChfxECNjbOINvqzNYy2YSoM5Xiy14ePlx+RSmxVU19 KTyUhyLD9RDezz2qjYDo+UrmSlJXzo2dI2zRnTUVBxt3CHR8j23GRsA5JPGNjBnrbHLU ZOAI735pawTDybX592hOHTcWVhnE/RrEztuWRGMP/5guNh6lvmnfAEGhMs9wCYSGJnZF 1zAYGmXRpg5he+IgrjTgrREkSbykNE2IWlSJQArwpnq8Po6SVNr6nsMuE16/F8iOxrLV AskA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20260327; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :dkim-signature; bh=dLsW8a3U/7E1dPVyOjp1MD9kOzFPH/guPDP98Z4WgD4=; fh=KBq/LY/XJ4Huo2SZqj6ePBkTTJwNo5Ko96fq2X3IpMY=; b=YSPvAi/5Yxj5NWt/xblwdfNmJzGDRNPHOzAmNEMHSiujgnfdoxg+7oSjy31SybXDk0 7lVzVQw26hPUB3R0NUNB3XoGQCaAMNuL9UTIduxAmljeXnVc54wau8WYADIHqt17+hbS 5jA20ElY1Gx1q1hMBpxmRyJmxMhtO41KfDENcTiR6QHW3ftaIe43kvIITC7he+Mrnm9b 6yno7eUtk0iTcFEoEd2bAQ/L12o5f0LOxVm/AQj+x2zjcCqaVFJortdr7rk8l/p3kbqP lIgZ0VbBKm91qgmZW+RbqjuqcLzWz0E+0LCj6AN7FNuMMzD0EpqIdDvvnRRfTQPDjRSJ QHAA==; darn=inria.fr ARC-Authentication-Results: i=1; mx.google.com; arc=none X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1784208593; x=1784813393; h=content-type:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-gg:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to:content-type; bh=dLsW8a3U/7E1dPVyOjp1MD9kOzFPH/guPDP98Z4WgD4=; b=XbbbVMoK94yKCSIa8htiIemQOMKt0fqUj3+vHh9WHq/85n/iAM1UoupMMhhCgQoL+H 1keYMNAKpdCaRk8uQyhTserKiz3KwCI6Gd2vXZFxbCSGpkFycQOVeCDtT5b2sFk+FKhj oLRBKWKf/Wlw8nA+DZeck5R9Z32ldqxfEmIXGseEHD4s6pkj83Pjia6r4XsFbJoiPhGx UVKqDx/7yfTTJL2DpiPhWLH96GuGgVDAkhOUcg1KVon7X+lAkSGtuI5vc2l8u91fqnyC VFY3Rc0zTkuXqfOLmrw+Yv3PvP+GCbMKgC7eFARECgZFtMehMlnUw9pXEkXuNg5f6+il xMqw== X-Gm-Message-State: AOJu0YxMOJWib23ugRn/0btkB0qCD9W20ucxRnfL6yMfODuRYBw6szvv 7Tt2EhewklnJO8rAKCnPd2nKyJenw2XEaz8654VXtDhxR6pO9yW2R8WfOPEkPBMphOiBDc8ee3p kM668HVjUPKJM3yoksG14PEpz783ukPLi0w== X-Gm-Gg: AfdE7cm/3R8y8QGBCBRWJXuMsJm53UJoGm6zZz+ddvxGA1j4aK3CMe4uAzL5BJYbIu3 5DDfStivXXR+IyvkfVtu6linjOln1a23uO8ZM2pyAOMrLtffI9Gyo899lwIKg37uZa7KBPcR7X2 GjgNvsAHgfWEUTYKhLzz9tijs+IGFn1CqzxRRFzDFi/5PVIegUzd6BKUAiPaUmjvyWFltLJu9Nt dl0PSzPmmVddeK+q/AdZwT4wg+3VQ0sCWC4zkAJPK3iTNQsbq/Nek9tsoMcMfI2CJsRq7ELVhxb bMJrUFMJKptn85XBDYCP7bfI4RUpezrcBkxPt5wHfFv8l1t66W1Uc96Ool7vVfPjEUBfur29ACq n X-Received: by 2002:a05:690e:503:b0:667:d824:b781 with SMTP id 956f58d0204a3-6681323319amr3894853d50.19.1784208593673; Thu, 16 Jul 2026 06:29:53 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: K Date: Thu, 16 Jul 2026 15:19:42 +0000 X-Gm-Features: AUfX_mzcQL41W-qZhaNBIPuVafGS2i-iNdWaQymCZppniTl-gMOToZJptd_rmCA Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="0000000000006e61dc0656ba6fe3" Subject: Re: [Caml-list] module dependency question Reply-To: K X-Loop: caml-list@inria.fr X-Sequence: 19548 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: --0000000000006e61dc0656ba6fe3 Content-Type: text/plain; charset="UTF-8" Is iterating over the typexpr the right or reasonable way of uncovering that transitive dependency (on type N.t specifically rather than on the module N in its entirety) without recourse to opening any other file? On Thu, 16 Jul 2026 at 13:07, Florian Angeletti wrote: > In your example, `N` will be a dependency of `M` and thus a transitive > dependency of the current module. > --0000000000006e61dc0656ba6fe3 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Is iterating over the typexpr the right or reasonable way = of uncovering that transitive dependency (on type N.t specifically rather t= han on the module N in its entirety) without recourse to opening any other = file?

On Thu, 16 Jul 2026 at 13:07, Florian Angeletti = <octa@polychoron.fr> wrote:=
In your example= , `N` will be a dependency of `M` and thus a transitive
dependency of the current module.
--0000000000006e61dc0656ba6fe3--