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=KtwY0/Kx; 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 2C6554008C for ; Thu, 16 Jul 2026 13:07:33 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:to:references:from: in-reply-to:content-transfer-encoding:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=xktF0SGygnGmfNjjPGViWDLI0s3jnGlPNRbnLRyOvSg=; b=KtwY0/KxYJLZlUz05R7GtAKCZzTTQwdP/hDFhJJuri1qzpiNxOvn5Dqf KHRBElsUnNtqi7inVr6Eu9WZQ5SF5fbfa1Rwy0gCIYEqAbo81IaNjGsHd ppWm+KupfMnqvqnvzlB1g+yz871uuvvdUA875un8OT8BfBKLb7XNwkyEJ E=; X-CSE-ConnectionGUID: cxP6itUaSP6Ym1veJqFcTQ== X-CSE-MsgGUID: Xyz9rDdwTIOIXSf66A2sqg== 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";a="286586837" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Jul 2026 15:07:33 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id AC29C81649; Thu, 16 Jul 2026 15:07:33 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id 4C9E581608 for ; Thu, 16 Jul 2026 15:07:26 +0200 (CEST) X-CSE-ConnectionGUID: bz6SEAkZQQihPXc2XpZrMw== X-CSE-MsgGUID: GzR+wha6RSi3uAPZ2QXihA== IronPort-SDR: 6a58d78c_XQ9O5Y42C46CF/70sUdYeQreuyl9YOmLUfGDWdsNMxDN9Bm OrxBsXl2nV76q08PjX36WSyxtPgU5ijNBd9ZBEw== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0EyBQBo1lhq/5qjd6hahRqBaTMEC0mEWIh6hzUGhXyHO?= =?us-ascii?q?ZQlDwEDAQ1RBAEBAQOFAQKNUx8HAQQ0EwECBAMCAwEBAQEBAQEBAQEBCwEBA?= =?us-ascii?q?QQBAQECAQECBAMBAQEBAoEKE4ZPDYJbglEsgQsCAQMjFQgBATgPCxoCJgICV?= =?us-ascii?q?hsBAYJ+giMCUAO/BYEygQGCDAEBBt4aCYEfLohcAYUChXFCfYEQgTwLgnk+h?= =?us-ascii?q?RCDDoJqgiaBDIN0jgJSeBwDWSwBVRMXCwcFgSNDA4EGI0sFLR2BIyEdFxYeW?= =?us-ascii?q?BsHBRIgKkFFIwNPPTgLQwWBVgKCCE4jHwM5f4EvdUp3LWoCEBdpQSSCFIE5A?= =?us-ascii?q?gELbT03CQsbBD2OPSOCfIJbpVmheoIlggKhYAYTL4NxAZN1kwWZCKlDgX8mg?= =?us-ascii?q?VlNJxE7gmdQAxkPlzbHLUI1PwcCBw8CkieBTAEB?= IronPort-PHdr: A9a23:bRhi6x/nuEEGDv9uWR22ngc9DxPPW53KNwIYoqAql6hJOvz6uci5Y gqHvL433QSSFcWDsrQY0LaQ6/ihEUU7or+/81k6OKRWUBEEjchE1ycBO+WiTWDdErvBQhd+I v5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJ6KevvB4Hdkdm82fys9J3PeQVIgye2ba9vI BmsogjcuMgbjZF+JqosxRfFvH9FdupYyGh1IV6fgwvw6t2/8ZNt/Clcoe4t+9JFXa7nY6k2U LtUASgpPGwy+MDlrwTIQxGV5nsbXGUWkx5IDBbA4RrnQJr/sTb0u/Rk1iWCMsP4Vb87VS284 qlkVRHkkCgIOSI3/2HRkcxwkblUoAm9qBxlwo7be5+aOfxjda7AZ9waRG5BXsFMVyxdB463c oUCA/YdMetesoLwoUYFoxmjCgm2HO7hyTFGiXD40qMnzeohHwHI0w48ENwBq3nUsNf4Ob0OX eyp0qXFzzPOZO5W1zfn74jIdwgsr/GIXbJ3a8rRyFMgFwXYhViMr4zlMC2a1uATvGiH8+pgV P+khmkgqw5tvjig3NwhipHOhoIRylHL6SV5wIEvJd2/Tk53e9CkEIFJuiycKoB5Td8sTXtyt yYm1r0Jp4S7fC4SxZg5yRPRZfKKf5aW7x//VOucIyl0iX17db+ihxi/71Stx+3iWsS2zltGs DRIn93DuHwT2RLe9MeKR/l580qi3TuC0R3Y5OJcIU0siKbWKp0szqQtmpYOtUnPBDL6lUT4g aOMa0kp+uel5/z6brn4pZKQLYt5hw/kPqkvlcGzG/k0PhQPUmWd5O+yzqfs/VfjT7VPlvA2k rfWsJTdJckDo662GQ5V0oI55xamEjepysoXnWIGLFJZZRKHlYnpN0vJIPDiAvezm1WskDF1y PDaJrDtH5TAI3vZnLv8YLpw71RQxBcywN1R/Z5YF7EMLf3rVk/0rtPYDxs5MwKuw+bgDdVwz oQeVn6TAqCDK67SqViI5uYvIuaQZI8Vvyz9K/8j5/L0g385g0cRfbO10psPdHC4AvNmLl2Fb nX2h9cBFX4Gvg4/TOzxlF2PSiVTZna3X6Ik/D43EoOmDYHZRoCsmrONxim7HodOamBAEV+DC W3oeJmcW/cQdCKSJddsniEcWbiuVYAh0hKguhXixrRpIeTY4jcYuoz91NZ2/ePejQgy9SFuA MuDyGGNTn10nn4SRz83xqx/plZ9ylib3adlgPxYFNlT6utRXAk1O5HS0fB0Bsz0VA7ZY9iJT UypQs+6DjwpVtw/2scAbUllF9W5lhDD0TKnDaUJmrKWGZI46rnc32D/J8lly3bJyq0hj14+T 8VXLGOonqFxpEDvANvCmkCd0qKrbrg03SjX9W7Fw3DdkltfVVteVaLfXHkZLmLQotn961/eT vf6Dr87OyNZzsqTIatNcNrvy1tcEqSwcO/Can68zj/jTS2DwamBOdKCkwQ12SzcDBJBiAUP5 TOcMgN4AC69omXYBTgoFFT1Ykqq//Mt4GijQBoSyAeHJ1Zky6Lz4gQc0PuXV/o7xrUAqSwhr C9zGhCzxYGeEMKO8jJoZ74UetYh+BFC3GPduRZ6O8mnJLxrrkYZdxV8v0T00BMxBJ8T2dMyo iYMywx/YbmdzEsHdz6c2sXoPabLL2Dp4B21Q6vf21WYycuf97wO9OkiqhPkpg7B+lMK1XJh3 pEV1nKd4s+PFw8OSdfrVU1x8RFmprbcay175oXO1HQqP7Pm+jnFk8kkAuco0HPCN59WLb+EG QnuEsYbG9nmKeoknEKsZw4FO+Ya/bA9Psevff+LkKCxO+MokDWjhGVBqIdztyDEvy13Vufgx 5EB0vqY2RGAUXHylhbps8z6n5xFeSBHBnC2mmDvAI9cYLE3fJ5eUDn+ZZTul5Mn2cWrAiMEp zvBTxsc1cSkeASfdQn41AxUjwEMpGC/3DG/xHpymi0oqayW2GrPxf7jfVwJID0uJiEqgFHyL Iyzl91fUlKval1jkxC57G7iwKxKr6R4NW7VB0lSNXuTTSkqQu6ru7yObtQaopQjrSx/SOO4c FuaTaT6pV0UyWmwV3sbzzc9eTawv5z/lBEvk2ORIkF4q3/BcN1xzxPSjDDFbcZYxSFOBCxxi D2NQ0O5I8Hs59Kf0ZHKruG5UWulEJxVayjii42a5mO34mhjABv3mP7W+JWvFgMm2Afj0N17X iXPthH6JIfxn6i3KuNoeEB0CUS0spQqXNgnw81p2spWgCVGzpyOtWIKi2LyLclW1cecJDIWS DgHzsSUqAnp1Ut/L26YkofwV3GT2MxkNJGxZmIb3D547tgfUfnEquUdzG0s/AH+9F+NMp0f1 n8HxPAj6WAXmbQMsQsplGCGB6wKWFNfNmrqngiJ6Na3qONWYnyueP6+zhkb/5jpAbecrwVbQ Hu8dI0lGHo66c5jOXrU13ni4YHjYt7WK9wJ/E7x8V+In61OJZQ9m+Bfzy1sJWvVpXoh2uU7i gZp29e0psLUY3Uo96W/DBlCMzTzbM5G4TDhg5FVmcOO1pyuFJFsSVBpFNP4COilGzUIubH7J h6DRXci/2yDF+OVTkePrV1rpHXVH9W3OmGLcTMHmM56SkDVLQRakGV2FH07hsJrT176gpW4I QEguGtXvwOk4g1FzuYiX/XmekHYogrgKjI9SZzFaQFT8hkH/UDed8qX8uN0GShcuJyntg2Eb GKBNUxOCikSV0qICkqGXPHm7MTc8+WeGuu1LuffKbSIp+tEUv6UxJWpmoJ49jeIP8+LMzFsF fo+kkZEWHl4HYzelVBtA2QPkDnRaseAuBqm0ih+r8T56eniVRnu+ZaVCv1VK9ousxG6jKGfN vKB0SZ0LTELs/FEjXTMybUZwBsTk3Q3KWnrSO1R83eTF+SJx/MEanxTIzl+P8ZJ8a8miwxEO MqBz8jwyqY9lPk+TVFMSV3mnMitI80MOWC0cl3dVyPpfPyLIyPGx8bvbOayU7pV2a9TvAG5k S6cF17oPjOZkD+vWQrlYoQuxGmLeQdTvo2waEMnEW/4UNfvcQG2KvdyhDwyh6Qpj37RNHIBK zk6dFlC5O71j2sQkrB0HGpP6WBgJO+PlnOC7uXWHZ0RtONiHiV+k+8yCJUSzrJU6GddWfV4g yrOs8Rv5Va8nbvXotKCeAJJridAhIWRukMkN7+LrvGotl7c+xYc5mWXERMM4dV/WISHhg== IronPort-Data: A9a23:mMAGQKtE5q7cLOVGy1i3L0qprOfnVJpaMUV32f8akzHdYApBsoF/q tZmKWGGbKqPa2r8fN51aIix8x4FuZ/Qx9FmQFFspSljHi4R9ZOVVN+UB3msAy7DdceroGBPv 5xPMIGYRCwXZiaB/Un1auCJQV1Uj/zgqm/UUbacUsxJbVY6Dn9n1VQ7wrBRbrdA2bCRGxmKt c75v/rRMVqk3y8cGm8P4spvkjs21BjJkG1e5AFWicxj5geEySFKVcxHfMldElOhKmVqNr7iL wr85Orhlo/p109FIs+olL/9bnoLTtb6VSCSimBbUrSVmRNLoCo/yM4TbJLwvm8K49kht4kZJ ORl7fRcey9wVkH/sL11vy1jLs1LFfEuFInvcSHu65TLp6HxWyCEL/1GVCnaNGCDkwp9KTkmG fcwcVjhYv0f7g4fLX3SpuRE36wewMfX0Iw3sGM+9hzwDsQfeJHDe5XBv+9A7i0VmZUbdRreT 5JxhTtHaR3BZ1tWJ14aE5Migf2pwH7lfFW0qnrM+/pxujGCilUvi/60bYa9lt+iHa25mm6fr X7P13z+BgARNNuFzjzD/GjEaurnx3OlBdJMS+HknhJsqHKB/C8MCBRIb2C6+uSQsnzkYuJeK 2VBr0LCqoBrqhL3ELERRSaQq3eBulsYWsFMO/Yr7RmEjKvS+QeQQGYeJgOtc/Q/qcY7Xj02y 0WI2dTzClSDrYF5V1qX5OmvgBqxCxEsLG86VSRefRM3+fz89dRbYg30cjpzLEKkpoSqSW2qm 2vX8HVWulkFsSIc/4mWlW0rYg5ARbCTFWbZHi2NAgqYAvpRPeZIp+WAsDA3F8poIoeDVUWmt 3MZgcWY5+1mJcjSxHDUHL1XQuD2v6zt3NjgbbhHT8BJG9OFqyTLQGysyGgmfh41Wir5UWS2P BKL4185CGF7ZSfwPfMsC25ONyja5fG+S4i7PhwlRtpDfop3eRXP+ydqZEidl2ni+HXAYolvU ap2sK+EUx4nNEiQ5GbsHr5DgOd6n3BWKKG6bcmT8ilLGIG2PBa9IYrp+nPXBgzgxPrc+VmHw MUVLMaQ1RRUXcv3ZySdo8ZZLkkHITJ/Tdr6otBePLzLaAd3OnATO9mIy5MYeqthg/t0kMXM9 SqDQUN28gf0qkDGDgSoUUpdTo3Tc6xxll8BBhx0D22UgyAiRa2N8JYgc4AGeOh71e57kt9xY fo3W+SBJfVtVAWcwTQkTbPjpqxmdh2E1BOEZXa4Uj4efrpLZQ/Ayvn7dCTBqQgMCSuNsNsgq Lik1gnaa7AJQghmBunoMP6AzFK/hmcck+RMRHn1IsFfVUHv0YpyIQnzs6MHGN4NIhD92Teq7 QaaLhMGr+3roYVu0t32qY2bjoWuSc1SI1F7GjTF0LOIKiXqxGqv7oteWuKufzqGdmfV+r2nV NpF3cPHL/wLs1ZbgbVSS48x4/oF2OLugLtGwiBPPnbBNQ2rA4w9BEi255BEs6kVy4JJvQezZ Fm0xeBbHre0I+LgLk8aIVs0T+aE1MxMoALo09YOHBzY6hN0rZ29amcDGzmXiSdYEql5D5N9/ 8clp/wtylKejjgED4+4qx56pkW2E2w4cqQ4t5slLpfhpSg1x3pjP5HNKC/Ez6ueStdLM0MVD Ceer/fSi4tywkGYdyI/JVrV+e8MlKYfmQtryWUaLA+jgev1hf4Q3TxQ/w8oTw9T8A517uJrN kVvNGx3Pa+r7R4xoORiBUWCQxpgAj+d8WzPk2o5rnXTFRSUZzacPV8DNvao12FH1WBlJxxw3 qySkUThWhbUJPDB5DM4AxNZmqayXO5K11Pwne68FJ64BLg8Wz3uh5GuaUcuqxfKBcAQhlXNl dJ1/dRfOLHKCioNn5IVU4Wq96wcaBShFlxwRftM+KAoH2aFXBqQ3TOICV66e+ITBvjs3HK7N fdTJZN0Z0zj7BqNkzEVPr5TArlWmPVy2sEOVIm2LkE7spyejAFTjrTuygbEilUWHupeyfQGF tuJdhapMHChun9Pqmqc8OhGIjWZZPcHVi3d3ce00vs4TKgDicFGb0sS1rm9kCSEOlE74iCSn QLnTI3VxtxE1o5DsdbNEKJCJgPsMvL1dr2C3z6SuuR0T+HkEJnxpSJMjXe/JCVQH78ae+ovp IS3qNStgX/05ucnYV7Wi7yqNvdv5/zreMF1L8iuDn1RvRXaaf/W+xFZplyJc81Youh8uPuia RCzMvarVNgvXNxY+n1ZRg5eHzsZCIX1dq3Qnjy8ndvdFiki1RH7E/3/+U/LdW17cgo6C6/6A CLwuNes4Yl8h6ZIDxkmGfpnIsFZJHnOZKgYTODy5AKoVjSQvlC/u7XczEtqrXmBD3SfC8/17 K7UXhW0Jlz4pKjMy8ofqIBo+AEeCHFmm+QrY0YB4JhMhiunCHIdZ/EoWXnc5kq4TgSpvH05W N3MUIfmISD0XDACaAj17c/iQhqFB6oJINiRyvnFOa+LQ3/eOW9CKOIJGuRcD7NeYjzn3eqnL ssZ/Dv+JHBdB7l3EP0L6KXTbfhPn5vnK7Fhxaw5u9T1BwcVAbIQ03onEhAluekr1S3SvB2jG FXZjlyojK12pYAd3Cqgl7No9MklgQ7S IronPort-HdrOrdr: A9a23:fuqFx6sKl02DIWoOkGUWeXFa7skDZdV00zEX/kB9WHVpm62j5q KTdZEgviMc5wxhPE3I9ergBEDiewK+yXcK2/h1AV7KZmCP0gaVxedZjbcKqAeOJ8SRzIJgPN 9bHZRDNA== X-Talos-CUID: 9a23:6+mnWmEs1Wf8oR6KqmJt5hAvN+kmQETkzXfoE0TiOX5bUpiKHAo= X-Talos-MUID: 9a23:0WNIaQnFGLh6O/tMiKtEdnpNJv0r/KSnVno2kM4bkvG2bxVAOje02WE= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.25,167,1779141600"; d="scan'208";a="286586744" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDEQsX7O7G9h3opZ8CBv8RZq/gcXyCjdPqkR7/?= =?us-ascii?q?u+8BOD2bVr33q3wAKgPGQhN5o11TFQ4GE7VRvrNiGbrnGre45UnKuMGD?= =?us-ascii?q?jCh9QLqNw3071Hp4xljUDJBRDzJwvAdm4fR+41MFHyiH/BzDvX2nNbp3?= =?us-ascii?q?q6Yr5QrruYaGvuAVsBGrL14w=3D=3D?= Received: from quaesituri.org (HELO mail.quaesituri.org) ([168.119.163.154]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 16 Jul 2026 15:07:25 +0200 Received: from [128.93.64.106] (cadillac.paris.inria.fr [128.93.64.106]) by mail.quaesituri.org (Postfix) with ESMTPSA id 0432C9F11D for ; Thu, 16 Jul 2026 15:07:24 +0200 (CEST) DKIM-Filter: OpenDKIM Filter v2.11.0 mail.quaesituri.org 0432C9F11D Message-ID: Date: Thu, 16 Jul 2026 15:07:24 +0200 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird To: caml-list@inria.fr References: Content-Language: en-US From: Florian Angeletti In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] module dependency question Reply-To: Florian Angeletti X-Loop: caml-list@inria.fr X-Sequence: 19547 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: In your example, `N` will be a dependency of `M` and thus a transitive dependency of the current module.