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=Lc6rT/6V; 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=QbUbaoUn; 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 E6072400B8 for ; Mon, 18 Aug 2025 09:07:52 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:content-transfer-encoding:mime-version:message-id: date:cc:to:subject:reply-to:sender:list-id:list-help: list-subscribe:list-unsubscribe:list-post:list-owner: list-archive; bh=9yFLl8aNTHAxEKiMqPJ8Xm5uU4tiSnOyfsp4PnZQVeQ=; b=Lc6rT/6VJRlo2Z9Fo3nBGvDn87BHZ9EEAtVlJ2Zdl0j53MRZ1Ck73ekC BQOama4/4wyCo0r8lVQwEaDzKniddM+OumQYNUNqeku9TYQUEqmHHDTGF PgKCL8b14nAibwOcXfEXahfUam2c1OPx2LSqpwLIFCB08mPT6hRWjCdJB w=; X-CSE-ConnectionGUID: 2pmf7z1VTOuQF8HHTvprjA== X-CSE-MsgGUID: TVoB9av3RZqb168jx9qIpQ== 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.17,293,1747692000"; d="scan'208";a="235284171" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 Aug 2025 11:07:52 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 2817AE0CD7; Mon, 18 Aug 2025 11:07:52 +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 94334E0171; Mon, 18 Aug 2025 11:07:48 +0200 (CEST) X-CSE-ConnectionGUID: vSJturwURaetjVo8N5bjTg== X-CSE-MsgGUID: nOPhL+YySpyLLIgsAaf2yQ== IronPort-SDR: 68a2ed63_jifE5r4w3heK1IjFfJD8mHn1HkCdMNNFHGvUCVsQLg1o5en BzkzXkRdbtN2mvDVnAubL45HKa9yOlEfqXcShwQ== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0FiBQBg7KJofDSAVdFaHQEBAQEJARIBBQUBQIFTgW5Sg?= =?us-ascii?q?QFaMwRUYYN0g0+MAYIhgTeDB48RjA4WJwIPAQMBCwEBRAsCBAEBAwEDhDpGj?= =?us-ascii?q?CcCHgcBBDQTAQIEAQEBAQMCAwEBAQEBAQEBAQ0BAQUBAQECAQECBAYBAhABA?= =?us-ascii?q?SIZBw4SKYZPDYJbO3FhAgUDOgEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEFAgsCHz8BASAWER0BGw8OAQMSEAEOAiYCJBEBBQFXgmABg?= =?us-ascii?q?iIBBhABAzUDARAGo36BBUKLPoEVBQIWgQGCDQaBCYFg13YKGSgNbgOBYQIHC?= =?us-ascii?q?QEKgQcuhHUpTg6COR0BiUQleieCKIE8CxCCN4I/ehcBAQKBcziDDjqCLwSCI?= =?us-ascii?q?oEWkBMMQIlmCAcfEggBHAYKAj0LCwoSAwQDBAQBAgsTCQMDAg4CCAMCCAYZA?= =?us-ascii?q?T8SBBMKAwoLBwUfCgIMEQooIhIrCgM1DAsPHxUBCAYCAgQEAgQMAgMGAgIFB?= =?us-ascii?q?wIRAwQBAQgCAi0DAQMZCAkIAgsFFBgMCwcyAxABBAkMAQECBAICHQIBAwgGA?= =?us-ascii?q?QENAgMCAgECAgQCBAYHBAgBAQIBAgIBAQEEAQcBAQICAwMFAwUDCBkBFQkVA?= =?us-ascii?q?wQFAhICAgEHAQIBAQMZAgEDAwQBCwIBAQQbBBUCFiQCGQIBBQUFAQMECxAJA?= =?us-ascii?q?wIFBAICBgIEDgIHAgIaBAICAQMEBgMBAggCAgcEBAYDAQICBxcCFQECAQMCA?= =?us-ascii?q?gkKBAUEAwQDAgICAQwDAQIDAgIBAgEBAwEFBg0SAgEDDwgEAgIHAgIgDwsBA?= =?us-ascii?q?gEBBgYDAwMKAwEKAQEGAgECEgUCAgIEAQICBgQlAQIBAgEBAQUCAQIBAgQCB?= =?us-ascii?q?wIBAgMIAQUCBgECAgkBAgECAgIBAgEBAgYCAREEAQICAgICAwEDBgICAgICA?= =?us-ascii?q?gkCAgICBQIFAwIDBQIFAgMDAgIDBAMJAwMIAwYEAgMBAQECAQICAgECAQUCA?= =?us-ascii?q?wkBAQMCAQICAgIDBgIFBQEDCwwBAQIBAwUDAwQDBgENBAMCBAICAgIEAgEFA?= =?us-ascii?q?wMCBQELAQIEAgEDAwMEBAMBAgIKDAIEAQEBAQIBAgIKAwIFAQMDAREDBAEGB?= =?us-ascii?q?QUGAgcJAwICAwIDAgQDCQQCBAMDAgICAQEKAgIBAgEBAwMHBhABAgIBDwIDA?= =?us-ascii?q?wQDBAYDBQkBAwcBAQEBAQIUAwIEBREIAgEBHgEWAgcBBAMnHgICBgICAgIDA?= =?us-ascii?q?gIDAwMBAgEBAwUBAwIDAgECAQYCAwMDBQMBDgICAwEDAQYEBAIHAQICAg4BA?= =?us-ascii?q?wICCQIHCQgCARMTAgICAgECAgECBwEBAgMCBQUIAgEBAQICAwILAgIBAgECA?= =?us-ascii?q?gMCAwIGAQkEBAYBAgEBBQQDCQECAyQDAwQFAwICAgcCBAMZAg0GAQQDBQUDC?= =?us-ascii?q?AMGAgIDDwMHBgcCBwQCBAICAg4CAwMHBQICAwEMBAcCAwICEgQBAQECDwICA?= =?us-ascii?q?gwBAQQCAgIFAh8KDgIHCgIBAwEBCgIEBAMKBgIGBQICAQQDAggCAQICAQIIA?= =?us-ascii?q?wIHAwIDAgEPGQMCAwoCBgUECAICAwMEAgICCQEDBgEBAQECAgICAwICBQYCD?= =?us-ascii?q?gQEBAITCiADAQMFAgQHAgEDAgIBAwQBAQMDAgECAQIDAQICBAIDAwMDAwQEA?= =?us-ascii?q?wEBBQIDAwUCAgMCAgICAgQBAQIFCwECBAMBBQERAgkDIw8DCwkIBwwBPAwHC?= =?us-ascii?q?igENgEUFAcGJRlnBweTTIQmDgUUGIFeKhcrkxCTe59ZB4QfBYFfijqVUwQvh?= =?us-ascii?q?VuRd5MZmQaOCJZQAYQ9AgQBAQEDBwcRJBKBSSOBXHB6AQaCNgk2EAMZD44hh?= =?us-ascii?q?ACEH61MQjUCATkCBwEKAQEDCYVFjFmBSwEB?= IronPort-PHdr: A9a23:KsyYOBT6eSLf2ZPOi9zAgRqtatpsoj+WAWYlg6HPa5pwe6iut67vI FbYra00ygOSBsODsLkd1rCP4ujJYi8p39WoiDg6aptCVhsI2409vjcLJ4qoL3O+B9PRKxIAI cJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+N hq7oAvfu8UMnYdvJKk9xgbJr3dWZuhbwX5jKE6OkRr7+sq/85lv/jhKtfk87cBAS6L6f6o5T bxcEjsrNn0+6dPouxfeUwaB/2MQXGoOnBVHGgTI8h70UIrpviT1quRy1i+aPdbrTb8vQjSt8 71rSB7zhygZMTMy7XzahdZxjKJfpxKhugB/zovJa4ybKPZyYqXQds4cSGFcXMheSjZBD5u8Y YQTAOQOMvtWoYrzqVYQsxWwAhKhBP/2yj9NmnP23bE23uYnHArb3AIgBdUOsHHModXwKacSU v66zLLIzT7ec/NW2Dn855LSchAgvPqBWrdwcdfSyUYxDAPFjkmQqY3rPjyPzOQNsnKX7+thV eKul24nrhp8ojeqxsg2i4nJgpgZxUzD9SV82Ys4I8CzR0Fnb9C+CpRQqz2aOJVsQsMkW2xlu Tg3x6ACtJOmeCUH1pQpyhzRZfGZc4aE/g/vWeaPLDpkmH5oerKyigus/EWi1+HyWde53VZWo ydYjtXAqG0B2hrO4caJTft9+12u2TeJ1w3L5eFEIFw0larGK5E62LI/ip0TsUHbEiDtmUX2g 7WadkAg+uSw6uXnf7Hmpp6EN4BoigHxKLgultajDuQ/NwgDWXWQ9+ek1LD740H1XLFHguc1n 6TZqpzWONoXq62jDwJVzIov8wizAC263NsCmHQIMlxFdR2bg4XsJl3CPv/1Auy6jlu2kzpn2 +3KM7jlD5nRM3TOkbLscLhh50JB1QY+yN9S6pNbB74aJf/+VU/8uMHZAxI/Lge62fzoCM9n2 YMbQW+PArGWMKfVsVKQ4+IgOeiMZIsMtDfzLvgp+ufijXE5lFMDZ6Wp0pwXaHe3HvRiPUqVe 2bjgtAEEWsSvwo+SvLliEGaXDJNe3q/W7gw6zI7BY68EIvPWIOgjKaB0SulBpFWY3pJClGIE XfmbYWEXPIMZTqXIs98kTwLS6OhS4891RGvug710aBnLuvO9i0ZtJLj1cR15+jImBE98Dx7F cWd02WXQ25omWMIQic63Lpjrkxl1leDza94juREGtxU/vNFSxs1NZrBz+NhEN3yQQLAftKRS Fm8WNmmADcxTsgww9AUeUp9Fc+iggjZ3yW2G78Vi6CLBJss/63AxXfxIsJ9x2/C1KkglFkmX tBCNXamh6567wjcHZTFk0Sfl6awdKQTxjTB9GmZzWaWukFXSxZ/Ub/ZUnAHekvWsdP561vcQ 7O2BrQoLAxBx82YJKZSZNLnkE1KRO39N9TAYGy/gX+9BROSybONaIrmYmsc3CDABEQdnQAe/ WiKORIxBiempGLeAzhuGkz1b0zw9ul+rWu3QVI3zwGLak1sz6K79BEbivKCV/0ewrQKtD88p DVxBlm9xc7ZBsKYqQR4ZKtSbssx4Exf1WLXrwFzJICtIb1/iFIGaAR3p03u2A13Copelcgqq 2snwhJrJ6yA310SPw+fiJv3I/jcLnT41BGpca/fnF/Eg/iM/aJa7ek7pk7j9B2oCUM48j0z1 sRW3mCc+pTVBRATF5PwU1oy3xd/rrDeJCI64tWHhjVXLaCov2qaiJoSD+w/x0P4Fz8+GKaNF QupVtYfG9DrM+sy3V6gchMDOulWsq8yJcKvMfWci+awJOg1ujWggCxc5ZxllFqW/n95V+3Fx JYZwu6RxArBVjb9kFKJvcX+mIQCbjYXTSKk0SaxPIdKfeVpeJoTT2KnIsm53NJ70pvwWHND9 EKiGFoc2YmoeBuOanTy2ARR0QIcpnn00TCgwWlSlDck5rGawDSIw+nmc08fPXVXQWB5kVr2C Y29jtRfQ03xKgZ0zl2q4kH1w6Udr6N6R4XKaWFPeSW+b2RrU6/r86GHf9YK85Qw9yNeTOW7Z 1meDL/7uRoTlS35TSNYw3ggejemt4+c/VQygX+BLHt1sHvSeN1hjRbZ6tvGQPdN3z0ADCBmg DjTD1K4MpGn59KR35vEt+m/USqmWPgxOWHu0ICNryun5HJjGxz5nvGyhtjPHg0z0Cu93N5vF G3JoBv6foj3xvGiK+s0GysgTFT46sd8BsR/it5q3MBWiSVc38/FuyddwgKReZ1B1KnzbWQAX 2sOyt/Ru03+3VF7a2mO38T/X2mcxc1oY5+7ZHkX02Qz9ZMvau/c4bpakC9yulf9oxjWZK03m yoexOAu9H8FivsI/gsszzmYKr8XFEhceyfrkl7birL25LUSf2upfbWqgQB7gNOsF7Geox5VQ ne/e5YjASpY4cB2MVaK23r2oNKBGpGYfZcYsRualA3Fhu5eJccql/YEsiFgPHr0oXwvz+NTY QVG5Zihp8DHLmxs+Pn8GRtELnjuYNtV/DjxjKFYl8LQ3oa1H5wnFC9ZFJfvSPupFnoVu5GFf 06LDT4xsXeHGKXWBw7Z6UZns3fnHJWiNnXRL34chdlvXxiSIkVDjRtcBm1r2M5kUFnwlIq8K g9w/VVzrhbgpwFJy/50OhW3SWrZqAqyK381RJWZMBtK/1RH7kbRP9aZ67E7FCVZ85u96Q2Vf zbDNkIYUCdQABzCWgqwW9vmrcPN+OWZGOekev7HYLHV7PdbS+/N3pW3lI1v4zeLMMyLeHhkF fwynERZDhUbU4zUnSsCTysPmmfDdcme8V255y56tcCj8eviQgOp5IqOF756PtBm+hTwiqCGf b315m4xOXND25UAyGWdgr0C31MJiz1vaDC3EPIBtC/RSYrfn6ZWC1gQbCY5Z64qp+osmwJKP 8DckNb80LV12+U0B1lyXlvkgsi1ZMYOLjL1JBbdCU2MLrjDOSzTzpS9f/anUbMJxrYx1VX4q XOBHkTkJDjGizT5S0XlL7RXlC/CdB1G5NPiLlA0UzWlFJS+LUTleN5v0W9vnuZy3yKWczZaa X8lLSYv5vWR9X8K2K0uXTwcqCM/fa/c3H/Gp+jAdsRM6KUtX3QyzrMApix9kuod7TkYFqYsx m2I9Y8o+Avgyq7Wm18FGFJYozJPzupnpG1EPqPUvtlFUHfAp1cW6HmITg8Nv51jA8HuvKZZz p7OkrjyIXFM6YCc+8xUHMXSJM+dVRhpeRP0BD7ZChcERj+3JCnegUJaivSb6nySqNAztJHtn JMETrITWkYyE7sWDUFsHdpKJ5kSPHtsibmAkMsB/maztjHUTcRe+4/CD7ecXK+pJzGegr1JI RAPxPKwLIgeMJH6x103alR+m9eveQKYVtRMryt9Kw4s9R8VoT4uEytqgRKjN1n+hR1bXeS5l RM3lAZkNOEk9TO3pkwyOkKPvywo1k84hdTihzmVNj/3Nqa5G49MWE+W/wA8NI32RwFtYEi8h 0thYX3BWrFclLt8dH9ikg6auJpOBft0QqhNYRtWzvaSLaZNsxwUumC8yElL6PGQQ4Nljxcve IWwomho3gtiaJsqIPWVKvcTiFdXga2Ks2mj0eV7k2p8bw4dtWiVfiAPokkBMLIrcjGp8uJb4 guHgzJfeWIIWpLCR9pl80o8P6KLyCeyi9arxWi+MuWeK+WSvG2SzKZgo3s130IM0lZApP14j J1lfE2TWEQiirCWEkZRXfc= IronPort-Data: A9a23:PNgjc6AQ192swxVW/07ow5YqxClBgxIJ4kV8jS/XYbTApGkq1DIGm GsZWTuDPK7ca2vyKogia4i+8UxSvZ6EydFgOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG86yQ6jOfQG+eU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjgmEc3l48sfrZ9Us/5amq4Vv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlkvF/w0gA8+Sib3ydEsHWNb6ZWBiXVILM0QKqkEqSh0ais7XBtJEAatko2nhc+RK9 Tl4ncfYpTHFkUH7sL91vxFwS0mSNEDdkVPNCSDXXce7lyUqf5ZwqhnH4Y5f0YAwo45K7W9yG fMwNgsvcg2ZmN+Myb+nSNdr1uJ+JsvXM9ZK0p1g5Wmx4fcORJnCR+DV4IYd0mpqwM9JGvnaa owSbj8HgBboOUUefAdKTstkzKH13BETcBUAwL6Rja8q4GXIzBBwz7H3MZzUe92WQO1am0+Zo iTN+GGR7hQybYbElWDbqyP97gPJtSXcYII2V4ypzeZ7pHmyyXc6ARNMRGLu9JFVjWblBosHd B1KksY0loA581XuRd3gVTWjsXuct1gdXcBRGqs08mmlwaPR50OdB3MYZiVQbcQv8s4wXz0jk FGT9+4FHhRqubyRDG2Yr/Ka8Gn0Ni8SImsPIyQDSGPp/uUPvqkttTDTU8x8LZS8g8H3Jzag5 W2ArhQx0uB7YdEw6423+lXOgjSJr5fPTxIo6gi/Yo5DxlMnDGJCT9z3gWU3/cp9wJClok5tV UXoduCb5eEKSI6IzWmDHb9LE7au6PKIdjbbhDaD/qXNFRz8oBZPnqgJv1mSwXuF1O5ZKVcFh 2eN4GtsCGd7ZifCUEOOS9vZ5z4W5abhD8/5cfvfc8BDZJN8HCfeo3wzORPNgj61zhd1+U3aB Xt9WZbyZZr9IfQ3pAdau89Gj9fHOwhnmjOOHsGmlXxLL5LAOSDEGd/pz2dinshisfrc/1SLm zquH8SNzBpbXaX/ZCKRmbP/3nhbRUXX8ave8pQNHsbaelQOMDh4V5f5n+l9E6Q7xP89vrmTr hmAtrpwkgaXaYvvc1jSMigLhXKGdcoXkE/XygR2bQ71iiB6MNr0hErdHrNuFYQaGCVY5aYcZ 5E4lw+oWJyjkxyeo29NP6ru5pdvbgqqjg+oNi+oKmp3NZ15SgCDvpeucgLz/WNcRmC6pOkvk Y2Gjwn7eJskQxg9LcD0bPn08Ui9k0JAk81PXmzJAOJpRmPSzKZQJRfcsNoLMuAXCBCaxjKlx wecWhgZgu/Wor4KytrChIHajoLwE+JBAVZWRTHLyYmHbAzbo2ypm95GWsm1YAGHBX/V+bqjV 8pR3frTIP0Kp3cUkoteQpJA77My2MvrnJBelj9bJXTsa0+5L59ROVyE4JV/jbJMzbpnpgeGY EKD1d1EM7GvOsm+MlouCCc6T+aEj9c4pyLz6KkrHUDE+yNHxrqLfkFMNR2qiiYGDr9UMpsg8 Ngxqvwt9A2zpRo7AOmo1hkO2Ty3EUUBdKE7urUxIozh0FMrw24fR63sMHb95ZXXZuhcNkUvH CSvu5PDoLZh3WvHTWs4ECnc/OhahKlWgitw8n05Gw2rlObG19gN5z8A1RQsTw9Q8AdL7PIrB EhvKH9OBPuv+xVGuZF9el6CSiB7Kj+XwEjT82cytXb4ShCoX1PdLWdmNueq+lsYwl1mfTNa3 e+5zWr5YAnuZ+X0+DU4Ym9+ivnZVdcq3BbzqMOmOMWkHpcBfjvuhJG1V1cIsxfKBcAQhlXNg +thocJcSPTcHjEChoEGEK+m7KQ0ZDHYAX1dUNdj0bgsH2qBSAqt2DOLFV+9SvlNK9PO70W8L c5kfeBLaDiTyweMqSI9F4cXAropgsMs2sUOSonrKUECrbGbiDhj67DU1yrmgV4UU8dcqtk8J qzRZgC9PDSp31UMoFD0re5AJmacSvsHblel3OmKrcM4J6hau+RoKUwPwr+4ukuOCzRe/jWWg RjiYpHHxOkz2KVumIrRSp94PTuWEu+qduq081GUie9sPPfvKsbFsj0Hpmb3Zzp2OaQjYPUpt LCvnuOu4mb7kucYb2TrlaOFNZF13uSpfe8OMsvIPHhQxiSDf8n34io8wWOzKL0XsdZR+viYQ xCcbe2uf+U0QPZY/mVeMAJFIiYeCoP2T6bunjy8pPKyESog0RTLAdek1H3xZ0dZfXIsF7ynL STrqdOC28t+kL1cIDMlW9R3HI5eInL4fKktKu3KqjiTC1e3jmO4urfNkQQq7RfJACKmFPnWz I3kRB/sUgabo4DNkc9ktrJtsi0tDHpShfc6emQf8YVUjxG4FGs3EvQPA64ZC517kj3A67+gX WvjNFAdMCTaWShIVT7e4965BweWObEoC+fDfzcs+xuZVjeyCIa+G4BezyZH4UptWz7d3eqie MA/+HrxA0CL+atXZ90vv961veQ24cnh5CM4yRio2Yi6SRMTGq4D23FdDRJAH36PWd3EkELQY 3M5XyZYSUW8UlT8CttkZ2UTIhwCoTfz1H89WE9jGjoEV1mzl4WsCcETOt0fFpUGZcUOYaELH Db5GjHL7GeR1Xge/6AuvrrFREOy5e2jRqCHwG3LHGX+XJ1cLkwoOsoDmWwES8RKFMt3DQbGj jf1i5QhLB3tFa2SsYF6DS0G/ptwVjQHCDShYMsTY9PZuURR8uU1sCRGAO42xV8cZkQjU4hlr O8uUXus IronPort-HdrOrdr: A9a23:5Igaiq7Krg2fUABU7gPXwYmBI+orL9Y04lQ7vn2ZhyY1TiX+rb HJoB17726StN91YhsdcL+7VZVoLUmxyXcx2/hzAV9NNDOWxFdAb7sSkLcL+lXbalLDH5dmpN ldmvFFeazN5DpB7foSkTPId+rIm+P3iZxA7N22pxxQpENRGsNdBmFCZTpzeXcGITWua6BWKH O03Ls1mxOQPVoWc+WmDT0jWfXCqM2OrZfvfBEBHBpP0nj/sRqYrJD7DjmF1VMkXztUx7BKyx m+ryXJoouirtCmwVvm22XS9pRbn8aJ8Ko5OOW8zuYUNxTxgUKSaI5gQr2Puy1wiOyj81oxir D30mIdFvU2xXPNX32/5SHg3ATty18Vmgff4FKVm2bipsTlRDQ8EaN69PBkTic= X-Talos-CUID: 9a23:e0bgFWzRKHDv7Ps7T6laBgUKIeI5b2fC8U3ZLlO6N2E5buCfS2OfrfY= X-Talos-MUID: 9a23:xbXdhgZEJcsB8+BTsRjUhBUhBdZT+7WKLGECirwPtZOVDHkl X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.17,293,1747692000"; d="scan'208";a="123426199" X-MGA-submission: =?us-ascii?q?MDFV4O3MrnDhFWXJXpg86qByPUITQhVQiMCS4k?= =?us-ascii?q?p9UZBiT0oqvIwp3h6ycMpdW8wTQXncyt+WghKUXdf4t5RP5l6a6pguCc?= =?us-ascii?q?yOt8rrgsgFSoBBW0p0paIPsiaYxhi3l7jz6/BDCoMC3rR5+biBFZUDVu?= =?us-ascii?q?QkA2dXt6pioSonn5iF8e+yCQ=3D=3D?= Received: from mail-wm1-f52.google.com ([209.85.128.52]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 18 Aug 2025 11:07:47 +0200 Received: by mail-wm1-f52.google.com with SMTP id 5b1f17b1804b1-45a1b0c52f3so17949705e9.3; Mon, 18 Aug 2025 02:07:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1755508067; x=1756112867; darn=inria.fr; h=to:cc:date:message-id:subject:mime-version :content-transfer-encoding:from:from:to:cc:subject:date:message-id :reply-to; bh=9yFLl8aNTHAxEKiMqPJ8Xm5uU4tiSnOyfsp4PnZQVeQ=; b=QbUbaoUn6QC28b9vez3+4j0JNoAFUiZsnODG50tvpkSYNj5YZ342wFGMDMXgz8JcdZ 4uNwTfngQFnbQstwf6oflRqniJWi9X0AQHUyKC9tj0qe/ie5ZzVjyKVsfasimJBvHbZD 9UxEcCYPJVn3TO3jCHFIlchEdwdHQRZQmYafF+WW+QK1URbc1ZgkI9rOtVGXbXfw9Zrg qOajxbuZaaDnXWLp3k8AdZ0PgW7SberL0m+/gMoO3N6zESIdbWoE9/G1pd9BNuxg34Or 3AOEbWi98EYfnn1E3Vdheny1spu3je/BTreUk+fp14Ovqpuj9Juh1UCHveQLrgxyVs4B uNfg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1755508067; x=1756112867; h=to:cc:date:message-id:subject:mime-version :content-transfer-encoding:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=9yFLl8aNTHAxEKiMqPJ8Xm5uU4tiSnOyfsp4PnZQVeQ=; b=FsiaBdDtZBHuIRHsOJ0L8va1jR5BZQxwqbu7+zyqOya/GoCKG1hhJshf+9nJtZiDOX OXyVYTlukq558FkztBlqX2h8W+t9SSINOle+hdyubSvfZzFwXGnVVg9yjTvybhyfiMVW jQ6eyo5ptDqIbvPkFiu3LokICjCKbkB4e9o7g+NT3EDMwfabjxNnDMEB+JrAQ1QUc9cS IHfBNKQgFonZwFP4zSCAPNWAhrx+oxn/VEq/sm7qAYu7Dpd0Uu6ZQeyPZN05qhoIFMqZ 4hfVc6eNUIewx7kuQ3rqfz8fHPrpqsZzmk3hzfjU2KAzlQ71cuv1bRXMbxdpTEDVtbF/ M6MQ== X-Gm-Message-State: AOJu0Yx2FlBtl4i/xkbROcv4zP/Z64UD0b82Rr4AprIB0U993whkcE9L /88ajts4sqqBYzDGLpcQu2u/arc7QXKRigCp5jZHSG9s6x4f/jawj8YPw4it+A== X-Gm-Gg: ASbGncsQsQFlbtgWs8Yz+FFgipCp0pCwdN/K1vUB9z6rDnSfmy0+urUQzBwW0SQmR+t SQlG9k5Mkg49o4JULQIgl2KrprQKiSoaKzIA64Qdy0V9dfgHZnNFDIf7i2Qb3i8c5nv8FrNjJIp 1hqF4qpU6RIxQzTpFV17Dld7BAqiy9AQs+a6UZ75Q8sEYe3xU9/u9EgPVnddNts2hSrLGCbwyGX 4GYIUp90WB4El+xPMctwdNNrOpvQZ2uYWF4ko2pjz8WIt2hchdC8P0wmO38cPzBACQZUqLld1k0 kgNgM2r3b6U7uIg9W7HdRjgLr+3NCUNfWph33jeCdGb6zTByn4FNw9tPU+nH+WoJScRSEZj2LjB 8vA9nITWS6TYr/CnIPjpSnWv3M0pxQx7noSX6aG8ZyJxbKGRedySXkZsr6U7C353tFIR+zTOY X-Google-Smtp-Source: AGHT+IEVAdAzYZapjDL4DzOV1ZN3vLQjd6sK4PIFmSIS/xoP51wgIMRIRONV0ELlYAmHeWnGyo9p5A== X-Received: by 2002:a05:600c:c8f:b0:458:c045:ee99 with SMTP id 5b1f17b1804b1-45a26794ce2mr45060095e9.28.1755508066504; Mon, 18 Aug 2025 02:07:46 -0700 (PDT) Received: from smtpclient.apple ([2a0a:ef40:124b:a801:9016:3011:464b:4516]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-45a22329b12sm124557685e9.24.2025.08.18.02.07.45 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Mon, 18 Aug 2025 02:07:46 -0700 (PDT) From: mukesh tiwari Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3826.700.81\)) Message-Id: Date: Mon, 18 Aug 2025 10:07:35 +0100 Cc: caml-list@inria.fr To: coq-club@inria.fr X-Mailer: Apple Mail (2.3826.700.81) Subject: [Caml-list] Connecting extracted OCaml code from Rocq to zarith library Reply-To: mukesh tiwari X-Loop: caml-list@inria.fr X-Sequence: 19364 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: Hi all,=20 I am hoping to find some Dune experts. I am currently working on a Rocq = project [1] that builds with Dune, and I am trying to extract it into = OCaml where Rocq integer (Z) is mapped to ExtrOcamlZBigInt [2]. However, = I am getting the following error and wondering how to resolve this.=20 File "src/Extraction/dune", lines 2-7, characters 1-197: 2 | (coq.extraction 3 | (prelude Extraction) 4 | (extracted_modules SigmaIns Sigma Datatypes Vector 5 | VectorDef Zpstar BigInt) 6 | (theories ExtLib Stdlib Utility Crypto Algebra 7 | Probability Examples)) Error: Rule failed to generate the following targets: - src/Extraction/Sigmalib/BigInt.ml - src/Extraction/Sigmalib/BigInt.mli In the past, I have used Makefile [3] where I linked a Big.ml [4] file = to num or zarith library but I don=E2=80=99t know how to do this with = Dune. I have also posted this question on Zulip so feel free to answer = there as well [5].=20 Best,=20 Mukesh=20 [1] = https://github.com/mukeshtiwari/SigmaProtocol/blob/master/src/Extraction/d= une=20 [2] = https://github.com/mukeshtiwari/SigmaProtocol/blob/master/src/Extraction/S= igmalib/Extraction.v#L3 [3] = https://github.com/mukeshtiwari/EncryptionSchulze/blob/master/code/Makefil= e#L34 [4] = https://github.com/mukeshtiwari/EncryptionSchulze/blob/master/code/big.ml [5] = https://rocq-prover.zulipchat.com/#narrow/channel/237977-Rocq-users/topic/= Unbound.20value.20iff_reflect=20