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=sH5qeGz2; 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 D5A6E400A2 for ; Fri, 15 Aug 2025 00:50:59 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:message-id:mime-version:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=htIo0CQGBMyjDTUxiB8VyFE5xWO3ebuN0IfOPMuUlv8=; b=sH5qeGz2bhKufRWO6XOUdLhYwZRDfoATw28khODI2Q+Np3E4BKIW+Oh2 KgaBXa82O8OqlyHdGXO/3OcX6DEpHI99i49yDvd5InvlSXagvbksSWKP6 szL4o9iFxaB/q6Y2QXCaJxx6a42a7kcd0C27JxYzY4UV/lBdoTBfgIufB A=; X-CSE-ConnectionGUID: cr9bFwSXTp6jTacgodUH0g== X-CSE-MsgGUID: kxrxVTk/R9W3ulcL+31gpQ== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr 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 X-IronPort-AV: E=Sophos;i="6.17,290,1747692000"; d="scan'208";a="235095953" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Aug 2025 02:50:58 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 942B1E0CD8; Fri, 15 Aug 2025 02:50:58 +0200 (CEST) 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 5E24CE0171 for ; Fri, 15 Aug 2025 02:50:53 +0200 (CEST) X-CSE-ConnectionGUID: ytlgKFZkTz6zYoJIwyiMmg== X-CSE-MsgGUID: XzCgR6WwTbyVFKTxYNOFLQ== IronPort-SDR: 689e846c_Sl+YRc24OnQnQtpKp2W5Lg4q+ctV4zVhdA4U4ty4v99MUYt 1GzHoSR6wBvNTVyhT39SxUqjhLofH8kUn6FxQlQ== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0EyAwAWg55odwpAQYVaHQEBAQEJARIBBQUBQIFTgW5Sg?= =?us-ascii?q?QBbMgQLSUMeh0OuPgYJAQMBCwEBMR4CBAEBAwEDkScCHgcBBDQTAQIEAQEBA?= =?us-ascii?q?QMCAwEBAQEBAQEBAQ0BAQUBAQECAQECBAYBAhABQ0mGTw2CWzuCFiwNgRYog?= =?us-ascii?q?TAjAQUBV4Jhgm4CAQGkZoEFQos8gTSBAYMc2lktU4EwFIE1iFEBgXKFSIMpQ?= =?us-ascii?q?oINhk2DQIVVIgSCIoEWmkOBShwDWSwBE0ITFwsHBWdhAhkDgQ9uCBEZHYEdC?= =?us-ascii?q?oUYhCgrT4UOgRmDUyRrDwaBFYNjggJAAwttPTcUG5R+gySBFQGBJlaPPweUa?= =?us-ascii?q?IIeoRGEJoRRH50BM5dSDJMNmQaXAZIVAgoHBxEkgVsjgVwzGggwO4JnCUYDG?= =?us-ascii?q?Q+WQK88NTQ8AgcLAQEDCYVDJhOMIoFLAQE?= IronPort-PHdr: A9a23:nxFQrxx8KXfE0TnXCzL1wFBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z xeZva4m1QOTANiTwskHotSVmpioYXYH75eFvSJKW713fDhBpOMo2icNO4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTezb75+N gm6oAveusULjoZuNKY8xxvUqXZUZupawn9lKl2Ukxvg/Mm74YRt8z5Xu/Iv9s5AVbv1cqElR rFGDzooLn446tTzuRfMVQWA6WIQX3sZnBRVGwTK4w30UZn3sivhq+pywzKaMtHsTbA1Qjut8 aFmQwL1hSgdNj459GbXitFsjK9evRmsqQBzz5LSbYqIMvd1Y6HTcs4ARWdZUMhfVzJPDJ6/Y YQAE+UOIP1Vr5Xhq1YUsReyGRWgCP3pxzRVhnH2x6o60+E5HA/DwgMgGdMOv2jUrNX0KawfT fu1w7PJzT7eaP5Zwyz955LJch06oPGMRqh8cc3NxkkvDQzJlE+fppD/MzOXzuQAqm6W5PdvW uyzkWAosR1xoiSxycc2jInEnoEYx1TG+Clk3Ys4Jt21RU9mbdOlH5ZeuS6UO5ZqTs8/XWxmt zo2x7kbtZOnYCQG1IkryhHBZvKJbYWE/hDuWumXLDxlh3xlYKqyiwu8/EWu0OHxV8m53ExLo ydKiNXAq2wB2wTN5sWIVvd98EKs1SuT2wzO7+xJIl44mbfYJpMk37I9k5UevEvdESLzhEr6k LOZeVkh9+ez9+vofLvrq5qcOoJwhAzzNLkllNalDuQiKAcOWnCW+eSi273n+k30WLtLgeMtn aXDsZDaPt4XpqmlDA9VyIkv8QywACu83NQahXkLNFNFeBSZgIj1I1zCPf71APmlj1mtkDpn3 fHLM7L7DpnQMnTPiLLhcqx8605Yxgoz19df55dMB74bO/L8QE7xucfZDh8iKQC0xProCNVn2 Y8EQ22AHrWVMKHKsVOQ/OIgP/GMZJMJuDb6M/Uq++ThjXo9mVMEeamp3IAXaGyjE/R9I0SZZ GLsjc0bHWcLuAo+Vu3qh0eYXT5dfXa+R6Q86SojB4K8EYjDXpytgKCG3CqjA5Fafm9GBU6LE XnrbYuJQ/MCZjiKLs97jDMES7uvRZU52BCgqgD10KBrLuvP+iECspLsyNh16PfJmR4o6TN4F cad03mVQ25pnWMIRjo20bhnr0JyxFiNz7R2juBeG9BL+vxJVx01NYTAwOFiE978QxrPcNiRR Fa9WtWmDyk8QMgtztETfkhxA86ijgjN3yWyA78aibiLBJss/6zExnb/P8lzmD760/wqhlwiB 89OLnGOh6hl9gGVCZSavV+ekvOJeKId1y7MvE6YxGvG6EhDWQ9YUL6DWnsfbw3fppL7/hWRH PeVFb07P14Zmoa5IaxQZ4ix5b0nbPLqOdCFJnm0h3/1HhGQgLWFcIvtfWwZmiTbEkkN1Q4Jr j6dLQZrICCnrirFCSB2U0r1ahbl6uB/gHKgCEg/zwjMZkYn1aLmsgUNi6mkQugIlqkBpD9nr jx1GFin2NeDAsGJpiJgZ+NbatM0pl5Mk2DB5ERmJpL1CadkixYFdhhv+UPj0xIiEoJbjc0jt 28n1iJtJKje0UgHcDiY1Nb5MfvVMgEe5TiJbKjbkhHb2deSoeIU7egg7k7kpEevH1Yj9HNu1 59U1WGd79PEFlhaV5W5SUsx+xVgwtOSKiAg+4PZ02FtOqioo3fD3dwuHu4s1heneZ9WLqqFE Ab4F8BSCdKpLaQmnF2gbxRMO+43luZ8NtivdtOHw+isN+Zp2juty2Zfoch83k+K6ytgW7vQx Z9Wi/qc3waBS3L9lAL46Zuxx90CO21URzLsrEqsTJRcbaBzY4sRXGKnIsnsg857m4aoQHlAs liqG1IB3satPxuUdV30mwNKhiF16TSqnzW1yztsnnQntK2aiWbH2O3jXBscfGlARGAkhFyqI 5D+3LV4FAC4KhMkkheo/xOwzrNSpYx+NC/USkdBOSH9aWN6GPj4pv+JZMhB74ktuCNcXbGnY FyUfbX6pgMTzyLpG2Y2KCkTTzixod25mhV7jDnYN3NvtD/Cftk2wx7D5dvaTPoX3zwcRSA+h yOFTlS7OtCo+52TmfKh+qi3TGugfpxINy7gzYrGvSD953UiDRCknv+1k8HqCkBjinS9iYQsC 3mO9U60a5Kjz6mgNON7YkRkYT20o9F3HI1ziMp4hZ0d32QbmoTA+HMGlWnpNtAIkan6bXcLW XsK24uMu1OjhhAlcC7PntqqMxfVitFsbNS7fG4Mjyc07sQRTbyR8KQBhixt5FyxsQPWZ/F52 DYb0/onrnAA0IRr8EIgyDuQBrcKEAxWJyvpwl6B9Nm/hKRMImGkcbH23UE4n8jrX9Tg6klMH W30fJsvB3o65952MXrNyzv04YHtPtDbK9AL/E7cg1LLiO5bL4g0n/wBiH98OG7zinYizvYyk R1k2Zzp2erPY3Uo5q+yBQRUcyHkf85GsC+4lr5Qx4zFl5DqBJhqHS8HGYflXe79WixHruzpb mPsWHU9rHyfBLbSTwaE8EJ26X3IFJ+vOnSeJX1fxtJnDBiFeB4G21tSAmh8wMJ/T1jtn5apZ k594np5CkfQjBxKx6ooMhD+VjyavwK0cnIvT4DZKhNK7wZE7kOTMMqE7+s1ETsKtpum5BeAL GCWfWEqRSkAR1CEClb/P7Kv+ciI8u6WAfC7JufPZrPGoPJXVvOBz5aimoV8+DPEOsKKN3hkR /o1vygLFWh+ANjcki4TRjY/iC/HKc+A4hC3+iQxp8v58uyqEAPj6I2TCqdDZNVi/xfl5MXLf +WUhSt/NXNZzsZVniSOluVZggJU0nk9ElvlWa4NviPMUq/Kz6peDhpALjh2KNMN9KUkmA9EJ c/cjNrxkL9+lP88TVlfBjmD0omkY9IHJ2alORbJHkGOYf6PPjTK68DsJ6S3SbQWhe4StQX66 lP5Wwfzey+OkTXkTUXlKeZXkCSSJwBToqmifxwrCHOlS9nmY1uyO5l1lXdlpN98zmOPPmkaP z9mdkpLpbDF9iJUjMJ0HGlZ52ZkJ+2J8854x/bVINAXqr1sCSR90etRpnYimeM9BMRsReczn yDSp5hnqBekirvXotKIeBtV7DFAhIvNtE4kO72Lr/F9 IronPort-Data: A9a23:wk4c3KqmYL0jiWZa4IqBjC7du0NeBmL6YRIvgKrLsJaIsI4StFCzt garIBmBPK3bZzOhf9Aia9u290NUsJ6Bz9VhSQFu/C5gRSgb9uPIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVaiZfHk3HVI5IMsYoUoLs/YjhYJ1isSODQqIu Nfjy+XSI1bNNwRcawr40Ird7kow1BjOkGlA5AFmNakX5Aa2e0Q9VfrzG4nhdxMUfaEPRoZWd 86bpJml82XQ+QsaC9/Nut7Tbk0QT7fOChOFg3xQVrLKqkAqSvsaj87XnNJFAatmo23hc+JZk L2hhrTsIesdBZAgrcxGO/Vu/46SCoUdkFPPCSDXXcV+VCQqeVO0qxllJBle0YH1Zo+bqIyBn BAVAGllU/yNuw656KOnTuZPqPYgENu1LrIYmFB/3DD8CPlzFPgvQ42SjTNZ9Cg9jIZPBrDZb MoQLzNkKhbYC/FNEg5MU9RgwaH22j+mK1W0q3rNzUYzy2HIxQ1Z0aOrN9HVc5qDToNXhi50o 0qfpT+iW0lHb4X3JTytwmCHidWRojzHUpMsOp6E5s9Mp3O3/zlGYPERfQDm+6nl0R/Wt8hkA 0cd/y5rqakp6GSwX9zlVlu5pmSFt1gSQbJt//YS9wyHjKvPpQGSBmFCRzUHasROWNIKqSICx 0ONkPDHNz9TouOHeHW/16iFrBa3Nn1ARYMdXhMsQQwA6tjlhYg8iBPTU9pueJJZaPWvQVkcJ BjQ80ADa6UvsCId60ms1XL/6w9AS7DWQwRz5x6RWWml50Vwb8inf+RECGQ3D94ddO51rXHY4 hDofvRyC8hUVfmweNSlGrllIV1Qz6/t3MfgqVBuBYI90D+m5mSue4tdiBknexo0a5daJW6xP BCL0e+02HO1FCHyBUOQS9jhY/nGMYC5fTgYfq6JM4EQCnSPXFXXlM2RWaJg9zuwyhhwyvBX1 Wazds2sBHAdDKV10XKrQeYD3KUwxzwvrV4/trigpylLJYG2PSbPIYrpxXPXP4jVGovd8V2Nq 76y9qKil31ibQEJSnCJr9NPdAtVcCNT6FKfg5U/S9Nv6zFOQAkJY8I9C5t4E2C8t/UEyrX77 TumV1VGyVHyo3TCJE/YIjpgcb7jF9I3534yISVmbx7i1mkBcLSfyv4VV6I2Wr07q81l7/p/F Mced+u6X/9gdzXg+hYmV6fbkrBMThqQqDyrAzuEexk6Jp5peBzI8ITrfyzp7yg/MRC0vsof/ Zym2gfqQMcbTBU/EveMaPKLyn2zmX0Fh8NzQEr6Dd1Bc2r88IVRCnLQj91mB+ouOBn81j+h+ ALOOighpM7JuJ0Q3OjSoLKt9qOFMrJZMBJBPm/56b2WC3HrzlC7y9UdbNfSLCHvamzk3Y6DO 8NX9qjYG98alg9ot4FcLe5a/Zgm7YGym44AnxVWJ1SVXVGFEbg6H2Kn2/NIvahzxrN0nwu6d 0aM29tCM4WyJ8LXPw8NFTUhc9i8+6kYqhvK4dQxBXfK1it90b6EcEdVZj2nqihWKplrO4IEn 8YlnuMr6DKEtxl7Cebe0xho9FmNIEcQDIQhlJURW7HwhiQRl1ptXJ37Cw3N2q+pVeliCEcRD wWvtPLwvIgEnkvmWFgvJEfJxttY1MgvuggV7VosJGapu9vih90v1wwM7wVtTgRxyztF9+drJ UlqKExHCqGc9Bh4hMV4fj6NGiMQIDa760DO218yu2mBdHaRV0vJN38YFduW2UIkr1JnYTlQ+ Y+HxFbfUTrFeN/72g0wUxVHr8PPYMNQ9AqYvuyaBOWAQocHZAT6jp+UZWYnrwXtBeUzjhblo cho5ONBVr3pBxUPoqEUC5io6ppIcUqqfFd9ePBG+L8FOUr+ezvogDiHFB2XS/N3fvfP9Re1N txqKsdxTC+B7SeprA0AJKsyMrRxze8I5t0DR+vRHlQ4kYCj9xhnjJGB0RLFpj4PY85vmsMDO I/uZ2q8MmiPt0B1xU7Jjud5Y1SdX/dVSjH47u6P9McxK6kiq8BpKEE77au1tS6aMSxh5BOlg znAbK73kc1nzZZImtruG4puGjSLDM76Us2J1CuRsN1+S8zFHumTlgESq3jhZx93O5lIUftJt L29ivzF92Kbg6QTTEbihIinK6lFwe6QTdhnGJv7A1cClBTTRfK2xQUI/l6JDKBgkfRf15GBf BS5Ys7hTuwlcY5R61MNYhcPDitHLbr8a5rhgiaPr/6sLBw5+i6fJfOF8U7ZV01qRhUqCbbfV DCt4+2P4+pGprtiHBUHXvFqI6FpKW/ZBJcJSYfDiim6PEKJ3HW5pbrQpTgx42rqC16FMvrAz 7DrexzcTCm26Yb0lIx3koorshMuWSM3xaF6e08G4Nd5hgyrFGNMf6xXLZwCDYoSiSDoko3xY DbWdmY5FCHhRnJ+fA7h5Mj4FBKqbgDU1gwV+hRyl69VV8u3OG9EKKRs/GFh+DFxcTvqiuisb 9MGkpE10t5d3bkxLdv/JNTi6Quk+h8e7nMTv0f2k8W0Ch1YA61iOLlJAl9WTSKeey3SvByjG IX2LFyohGm6Ugj2GsZpPXdeXhMB1N8qI/PEcg/XqOviV06nICGsBREx1ywfElHOUSjSGIMze A== IronPort-HdrOrdr: A9a23:gVQ9laqFEOp9G+TGCKSgH9kaV5obeYIsimQD101hICG9Vvbo7P xG/c5rrSMc5wxhOk3I9erwXZVoIkmsjKKdg7NhW4tKNTOO0ADDXeJfBODZslrd8kPFh4pg/J YlXaw7JtOYNzdHZAXBjDVQ0exM/DBKysGVbC7loRdQcT0= X-Talos-CUID: 9a23:0FuiWGy6g6uRGF2donqBBgUFBsQqUVPvz0vCfV2JDkRIV6yUbFqfrfY= X-Talos-MUID: 9a23:w16v8wWYv8eqb1nq/A/+rz5Yavh3366/Nm4urYU3ne6qERUlbg== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.17,290,1747692000"; d="scan'208";a="123310531" X-MGA-submission: =?us-ascii?q?MDEpiJq9DQYzVj3ZIEy0ojFpwnC/pgZy48PFvj?= =?us-ascii?q?NOHRc/pANrNZhvGZuxTn8lkgE2Y4LdKD5OoYHrhYaHoQgD/gTtjQpUuk?= =?us-ascii?q?Mjdj//9p+hpmNdMK9+3mZFjps62DiM50dqiVxFjbO09lQauBRQG7CkAG?= =?us-ascii?q?Tx0zUK6EPH7IH4qUpCRayEKg=3D=3D?= Received: from web.is.ocha.ac.jp ([133.65.64.10]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 15 Aug 2025 02:50:51 +0200 Received: from mail-pf1-f200.google.com (mail-pf1-f200.google.com [209.85.210.200]) by web.is.ocha.ac.jp (Postfix) with ESMTPS id 4c33SK2Ykfz1N7PV3 for ; Fri, 15 Aug 2025 09:50:41 +0900 (JST) Received: by mail-pf1-f200.google.com with SMTP id d2e1a72fcca58-76e2e591846so1340254b3a.0 for ; Thu, 14 Aug 2025 17:50:41 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1755219040; x=1755823840; h=content-disposition:mime-version:message-id:subject:to:from:date :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=htIo0CQGBMyjDTUxiB8VyFE5xWO3ebuN0IfOPMuUlv8=; b=RMX1jiay6JD9vHjHaOMKUS0hnPm+Pi5fg1wh6cODryT77N55+trX/DY/ZLMO1HHOc/ nCK8v64zrS+klBGPfWHBaON1rS/8G0ebi8RkCZ1YKpg9h73oSlHJ3I977WEWnhDlq18S 4/YOAw2vIxtwbsgRm9PMwvzEG2DQTqVbPk1wZwwbzqBmWi+6y1U8UO9b7mn7L+20SQ3Y 6hqngnSqivHyUkNtaBnZ91w673+t7prNUjZQRFchv+1OTx7sUjSGTVMYtjWls7PdoGxJ PTLGhxo9IhxyNslp6F4+DgtbQKeYdXIMyKE1rWJIavj7SObL22tnZYsRDXyn2qsRcWVw sUfQ== X-Gm-Message-State: AOJu0YxJd87OWSWKAS0Q9ueDL4C2oHlHvVQa4FabVijZHdrFQPRKloXR 8H8OWaerpq0q2qxTgfzy/GArhZTCLjoK25DlLKvrw/HeGcfrHheHpbtoMWMJPKfHD7cejMNqlyF MBtrfbNK/Txi5+krFi4/PvR/ZIsAaPfrkFy6fYB408nshBEXi5Xx4zJJYSQZX X-Gm-Gg: ASbGnctSXji6Do5YHXJx29bLOfn3Zr4+csk0Nu9LzrJSIH6Yy5yxxv/uXd3iha9oedM 0FdhG4y3doSxoAHDrMRijhIU5yShnuvtFqzXF2MOngliRSmmlZXDgWFJZDcyZyR+VzFj+j811Nb Iz0Kztby4Ny5if28aYimut9KvIyHZyMFnysxSUIwaC3WeEUbU/2h0qCQrYcVawWtUSgIKxZ9sOf IMBgr92AZXayKbF/6RaZ6+dHBrwpOMZddygF1VWqYLFYf3M4qw2Uk2YMvMXdhgJQbxOpQc7WIh/ 2f6LN/IXXp7IT77e+MwpDhX243vIxVWoF48kmi/tIXF7UbbTYn5FTw== X-Received: by 2002:a05:6a00:3999:b0:76b:c68e:1001 with SMTP id d2e1a72fcca58-76e32221c1bmr6820856b3a.5.1755219039815; Thu, 14 Aug 2025 17:50:39 -0700 (PDT) X-Google-Smtp-Source: AGHT+IFeUPdZDlBtJWrZg/Sp8WKTb9U9XUu3kjIeulcRqd+EMPDWUfh9G+zyRpxYbiXGRISEQDv2RA== X-Received: by 2002:a05:6a00:3999:b0:76b:c68e:1001 with SMTP id d2e1a72fcca58-76e32221c1bmr6820833b3a.5.1755219039429; Thu, 14 Aug 2025 17:50:39 -0700 (PDT) Received: from localhost ([240f:101:8218:1:44e:c0cc:bce3:593]) by smtp.gmail.com with ESMTPSA id d2e1a72fcca58-76bccfbd22csm35712887b3a.65.2025.08.14.17.50.38 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 14 Aug 2025 17:50:38 -0700 (PDT) Date: Fri, 15 Aug 2025 09:50:29 +0900 From: Kenichi Asai To: caml-list@inria.fr Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Subject: [Caml-list] utop execution of multiple OCaml files Reply-To: Kenichi Asai X-Loop: caml-list@inria.fr X-Sequence: 19361 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: Suppose I have a.ml that uses definitions in b.ml (and possibly more). To compile these files, all I need to do is to prepare a dune file that mentions only the main file: (executable (name a)), and type "dune build". But before I compile the whole program, I often want to play with functions in a.ml using OCaml toplevel, like utop. If b.ml were registered as a library, I could do it by "dune utop ." and then "#use a.ml". But to do so, I need to create a directory for the library and create another dune file for it. Is there a way to load all the modules into utop, just as simple as typing "dune build" for the compilation case? Perhaps, there is a tool to analyze the dependency and produce a list of commands like the following? #mod_use "b.ml";; #mod_use "a.ml";; -- Kenichi Asai