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=Yd6F/w8x; 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 B6A30400A5 for ; Mon, 2 Feb 2026 11:00:44 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:to:in-reply-to:references:date:message-id: mime-version:subject:reply-to:sender:list-id:list-help: list-subscribe:list-unsubscribe:list-post:list-owner: list-archive; bh=eKO1k87M2mQuis8Ile3mR8DqwD5ksJ7RNrxJAM9K2ek=; b=Yd6F/w8xHRxA/Fy97cuigyFg4ZGfbxX9Q8sdDEHh0e7+wuDHBx0q8N7E jv1ShAu7p3d5eMsG7dTDzpQElyIBM3/Mt7tKtDnnTAPvEzk2LKzt3DnGu VD54aVeUtma/YsA6+QA1auywdExx7Dk6N10IHC/JD9+9M74vVcGGJIlVf E=; X-CSE-ConnectionGUID: 85lqnZPNRMCV3Hx1X4zjig== X-CSE-MsgGUID: uznf2DfEQzS5QGXh1E2/wg== 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 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@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.21,268,1763420400"; d="asc'?scan'208";a="261449425" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Feb 2026 12:00:43 +0100 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 4A64482F50; Mon, 2 Feb 2026 12:00:43 +0100 (CET) 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 03BF782EA2 for ; Mon, 2 Feb 2026 12:00:36 +0100 (CET) X-CSE-ConnectionGUID: aYAKAnXUSWep1k6C56wvgQ== X-CSE-MsgGUID: fT/d8LdtRqe1mqYXpr4ELw== IronPort-SDR: 698083d3_COVZKw/rBKVBqcyippDLN81rfnvmb7zUa5B0bPExCDWpGk6 ViFdVtruDtpDoajI8vaFzkGeRoaYQ7wbBTtRuPA== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0F2AQCygoBpjyIeaIFahRqBAQZfMwcISYRYkXQDnEWDX?= =?us-ascii?q?AcBAwEIBUQKAQIEAQEDAQIBkhQCHwYBBDQTAQIEAQEBAQMCAwEBAQEBAQEBA?= =?us-ascii?q?Q0BAQUBAQECAQECBAYBAhABAQEBAQE5BUmGTw2CYgEzcYElAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAgx/AQQBIx0BATgEC?= =?us-ascii?q?wsOExMOAgIPAUYGARKDAgGCIgIoJwMEAQwGsgSBMoEBggwBAQbcKoEbQwkDB?= =?us-ascii?q?oFNgViEFoJKDwwBc2mEToQ9Jw+BVUSBFYMqPoJhAQKFOoJpghEVgQ6CSZFpU?= =?us-ascii?q?oEUA1ksAVUTFwsHBV5FQwMqLy0jSwUtHYEjIR0XEx9YGwcFEyMmHBICAwECA?= =?us-ascii?q?jpTDIF1AgIEghN7ggEPhnSBAAUugQkOIgJBXlILHDADC209NxQbjXMQIQ2CG?= =?us-ascii?q?BoqgWWBMFUCUCsdlF6wdIIQNAeEH4FeBgyKLpYHqmuZBiKNZ5VghViBfyOBX?= =?us-ascii?q?DMaMEOCZxM8HA+TX4NVv01CNQIBAQE3AgcBCgEBAwmFRR0BAYw6gUsBAQ?= IronPort-PHdr: A9a23:mDl2KhLdFSoazfqdjNmcuOhuWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCEubM11BSQAtqHtrptsKn/jePJYSQ4+5GPsXQPItRndiQuroE7uTJlK+O+TXPBEfjxciYhF 95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwbL19I RmssQndqsYajZZgJ6szxRbEomZDdvhLy29vOV+ckBHw69uq8pV+6SpQofUh98BBUaX+Yas1S KFTASolPW4o+sDlrAHPQwSX6HQTS2kbjBVGDRXd4B71Qpn+vC36tvFg2CaBJs35Uao0WTW54 Kh1ThLjlToKOCQ48GHTjcxwkb5brRe8rBFx34LYfIeYP+dlc6jDYd0VW3ZOXsdJVyxAHIy8a ZcPD/EcNupctoXxukcCoQe7CQSqGejhyCJHhmXu0KM6zeovDAPJ3AIuEdwNv3vbsM74NKgOX e2v1qTE0SnPYvFQ1Dzg6IbIaBchofSUUL9sdcre008vHB7YgFqMqYzlOjKV1vgRs2OG6OdvT +avhHQhqw1ruTig2scsiozIhoIJ1lDJ7j15wIExJdy4VE50f8KrEJtWtyGbLot2X90tT3tvu CYgxb0LoJi2dzUFx5o73RDQceCHc5SW7RL5UuacOTh1iW9rdb+hhxi/7FatxOLzW8Wq01tHs zZIn9rDu30RyxHf9suKRud/80qj1ziC0w7d5O9YLE0olKfWKZ8sz6M2m5EOv0rDGSr2l1/3j K+Qbkgk++6o6/7mYrr8vJOcOZV0hhnkPaQ0hsO/AeU4MhYQUGSB/uS8zrLj8EvkS7tJlv07i rTVvI7eKMgBu6K1HwBY3pwt5hqjFTur3tsVkWEEIV5bYh6KjonkN0vQLP33EfuzmVuhnCpty vvbJLPuGI/NIWLGkLr5fbZy9UpcyA0rwNBa6JNYF6sNIOr0Wk/1tN3YEgE2PBC0w+bhCdV9z 54eVnyVDq+eKqPSvkeE5uMpI+aSeI8YoCvxJ+Yh6vL0kHM1hVAQcbOn0JcLcny1EPtrL12cY XX2g9cBFWkKvhA5TOzvkFCMTCJdaWuuU68k6D87CIOnDZzbS42xgbKMxD+7HppSZmFGFlCDD 2vnd4WCW/cNcSKSP9FuniYDVbi7RI8szQuhtAvgxLphNObU4TEXtZLm1Nh0++3TiQo/+idzD 8SA1WGCU397nngSSz8z061+rlZxylCZ0ah3m/BYD8Bc5+tVUgcmMp7R1/B1BMr3WgLFZ9uJT FemQs66ATwqVdIww9oOY15nFNm4jxDD2TCqA74PmLCRCpw06LrQ337qKMll0XbJyLEhj0U6Q stILWCqm7Zz9wfNCI7OkEuXjb6ne6QA0iLV7meM03SOskJCXgNoVKXEUm0TalHOrdT+4kPDT 6OuBqo7PQtBz86CK7JKasD3gllcQ/fjItveb3qslGezBBaIw6uBYpLldWoTwivTFFQJnQYL8 XmbMAgxHD2hrH7GATJ2DFzhe0zi/fFlqHOjQE851xuEYlF82bSo4hIVnuScS/0L0bIEpighr zJ0EU6n0d/KFtSOulkpQKIJWdM85FZfnUHQsxFxM4arLqsq0kYdegBftFiozQgxDIEW1YAhp XYuiQ5zMr6w0VVbdjre04qjFKfQLzzb+BmpI5Xd2lTfzMrerq4L4fJ+sF7juQC1CmI69HF2z 9Re032d/4jHSg0IXsSiAQ4M6xFmquSCMWEG7ITO2CgpaPHs2tej89cgBe9+jw2lY88aK6ScU gn7D8wdAcGqbu0sgVmgKBweb6hJ7KBhGcSgerOd3bKzev56lWeviW1Bppt20keN6zZUUunMz ooIyPGe3xKaWnH7lljy+tvvl9V8bCoJVnG61TCiAYdQYqNoeoNeMl2Ve5ibxsdl0rfCDmZf8 E+/ClgG3s6wZBfUaEbyiARU3EJRunennCqk0xR+lCwvpaeEmimS06LlbhVUcnVTSjxahEz3a ZOxk8hcXEWsaF0xkwC54E/h26VBjKFvdi/LRkNZYyX9L2djS7a98L2YbKaj8bsOtiNaGKS5a FGeEfvmpgcCljjkBy1YzSw6cDejvtP4mQZ7gSSTNiQ7qn2RYsx2yRrFgb6UDfdMwjoLQjV5g jjLFxC9Odeu59Cdi5bEtKi3SWugUpRZdSSjw5mHsWO34mhjABv3mP7W+JWvGAwz12ng3NlvV DnUhA77Zpj32q+6N+N+Y0QuA0XzqoJ7Fox4jooslcQIw3FJ4/fdtXEDkGr1LZBawfenNitLH GZXhYWNplO5iygBZjqTyon0V2uQ2J5kbti+OSYN3z4lqttNEOGS5aBFmi18phy5qxjQaL5zh GR4q7Nm5XgEjuUOoAdowD+aB+VYJnNjZXnAlwaTuvmR+b1QYHezfLOw0ktngN3nC6uN9whYU XC/YZwiGC5s8u11N0/K23DorIS4aJ/Xd91Z5Xj221/QyvNYLp48jK9AjC5uPyTmtn0gyvInp QRp2YCmsYOHLWR04a//BQRXfG6QBYtb6nTmiqBQmdyT1oakE8B6GzkFa5DvSOqhDDMYsfmP2 x+mKDQnsT/bHLPeGVTa80J6tzfUFIjtMXiLJX4fxNEkRR+HJUUZjhpGFDk9m5c4EEityqmDO A9C3AtJs3L4uAAZ4809Lx77Q3vSrweuay4pRd6YNhUD5wVL4QHOOsyb7/5vNytf45uqoRfLL zCLIQNSAgRrEgSICkviMb+n+dTbu7HCV6znd6eIOu3I8rAWXuzA3Z+114p64zuAft6COHVvF bxeuAILXHx0HdjYhyRaTiUWkyzXaMvI7By4+yBxsoW+6KGyAlOpvNPTTeAKd44zqHXUye+ZO uWdhTh0M2Nd35IInjrTzaQHmUUVk2dofiWsFrIJsWjMSrjRk+lZFU1+CWs7Oc1W4qY7xgQIN 9Tcj4a/7YRD1qsZC0VeAHXOz9muYd0WLmq9MlLeGUvNM66JcDTPysexeqi8TLxMkM1esAC2s juAVUq/LnKEjTajBHXNealcyTqWOhBTotT3SSxWUT3PTMD9PzSUZcdwiSwqzLY0gHLTKGNaN iJzJkpJp7vW9ihYh/RjB0RL6WdjJuSf3SPF/6/fMJlc4p4JSmxk0uld5no90b5c6ipJEed0l CXlpdlru1i6k+OLx2kvQF9Upz1Mno7OoVR6NPCT6MxbQXidtkFojy3YG1EQqtBiENGqp61A1 o2FivfoMDkbu5HV5ZdOXpKFbpvfbDx6aVyyRHaXDRNZH2fxZCeG3xAby6nUrSDwzNBy6Zn0x MhfE/kCDgVzSKlcUxw6VJ8DOMklBGt8yOzH1cJQt3Ps8xDcGZcI4JyYBqDJWpCNYH7ajKEaN UFQmeqqcd0fbt+iiR0+ZlQoztuRRUaCAowS+mUkZwsw6i2h6VBGR3YokwLgYwKpuzoIEOKs2 wUxkk14aPgs8zHl5xE2IEDLrW0+iht5ldLgiDGXODn/ScX4FZlREDbxvlMtP4nTRhYsKxW1m V14OTzEQbNIkrYmcnpkwAPRoppAH/dAQLYMOUVBg6jPO7NziRIH9m2u3iolraPdBIFnlRc2f JLktH9G1w95LZY0KaHWOKtV3w1Qi6aJ7Wej0uE8xhNbJl5YqTnDPndQ5ApTbv99e3nNnKQk8 wGJljpddXJZUvMrpqkv7UYhI6GbyDqm1bdfK0e3PujZLqWDumGGm9TbJzF4nk4OiURB+qB7l Mk5dE/BHXsV9+PEOxQbLp/rBlRNaM5D6HXYfSCPqPjAh5VvMNC0EunuC/SFtKMVnl6MFgE0G Y8B9YIEQonq11vXZ5SCTvZN2VA26QLnKU/QRuxOYw6OmSwbrtuXyY8um5FaIiABDG59NySu+ 7uRoRUlyqnmPp9+cjIRWY0KMWgzUcuxlntCvnhOOzKw1/oQ1AmI6zKv7jSVFjT3aMBvIeuFf R45Qs/j4i0xquLl7DyfuoWbPWzxMs5u/8PC+f9P7YjSEOtaFPF0+wLVn40SL5RLe2vfSJitI Jzhd4Qnbdr1E2u3FFulhGBsJy8eFNyqM66DjBquQNpE9o6B02J6XSdYPikZHwZsquoD4qNle ABFZIA0M0aAig== IronPort-Data: A9a23:SW6fa6LV4dpkqv2DFE+RmJ4lxSXFcZb7ZxGr2PjLsTEM7AuW5UVEl zVBCC3DeKqUMyGmS21FGIq2px5VsMDWzNQxSwQ5+XhkRCgR98OVXovHckz8M3uYcsbPRxs6s 5wXYYWefM5lRCWEr03zY+S//XJxi/6DS+aU5IIoQsxUbVYMpHAJ1Egz8wJAvrNVvDSZP++sk d+qqZCDYQargWV6bmtI4P3f80sysaz56WNCtAE1b/tFlVKPzHN94LA3dfjgdSOgKmV3NrfnH LiblOnREkfxpUpF5gaNy+6jGqEyauePe1XI0zwOBvXKbiFq/kQayrw8OOcXdXBZgjCIm8EZ4 NhWvPRccy9wVkH3sLpbCUAw/x1WZ/UcpuedeSLn6qR/8mWfG5fS66U2ZK0JFdZAkgpHKTkm3 eAVLjkLcieCi4qeqJqnSvNhj9gUN8LiOoUSoBlIlVk12t57KXxra/yiCe5whF/ctOgWdRrtT 5ZxhQ5UUfj1S0Yn1mH7p34JtLzAanHXK1W0ob8OzEY9yzC7IAdZiNABPDdJEzAjqAo8ckuw/ wr7E2rF7h4yPe226hODwk+XueLXxCClc99MC6O3z6s/6LGT7jR75Bw+UEvi5+G+jl+iVtlfL U0N5ydoqrI9nKCpZoCnDlvh+CLC5UZaAIY4/+4SsGlhzoLv2T3BU0QEXCUUQfNzrMgyVCAn3 V+Pnsr0CHpoqrLAQHaU8PGPpjO3ODQJBWUFeCkPQBBD5oXz5oYpgXojS/46S/Hr04KuRm+YL zaiohR5i+U3gdIxzqji+En2syq2+rXtUVtgjunQdjn4sl0iO9bNi5aTwVPS6PIFKIeCUnGar X0cko6f6voPBNeDjkSwrP4lGaHwoe6CNCzAjFVvGZg46jnr/GSsFWxN3N1gDE5YG+Utfw/UW 3DeoVpSurQOYmS0YpYiNupdFP8WIb7c+cPNeMq8UzajSp1hLUmf+yV/eUOb32bsiVUh16YlN v93kPpA715FUcyLLxLvGY/xNIPHIAhlngs/origk3yaPUK2PiL9dFv8GALmghoFAFy4TPX9q IsDaZDVk32zocXzaS7T/MYLKlQbMXUwBZb3stFaPuObOQF+cFwc5wvq6ep5IeRNxv0N/s+Rp yHVchEDkjLX2yaYQThmn1g/M9sDq74j9ipjZUTB/D+AhxAeXGpYxPtFL8JvI+d+qbwLIDwdZ 6BtRvhsy89nElzvkwnxp7GkxGC7XEX63VC9LGC+bSIhfpVtYQXM95W2NkHs7SQCRG7//8c3v 7TqhEuRTIshVjZSKp/cSMuu6Fet4lkbuuZ5BHXTLvdpJU7DzYlNKg7KtMERHf0iExv46wGh5 16kOitA/ejpiK0pwebNnpGB/tuIEfMhP090HFv7zLeRNAvF9DCznINvbuSBUm3FX1PK/IGnN PRn3tDnEfg9hF0RmZFNI7Vq6qMf5tXUuL5RyDp/LkjLd1iGDrBBIGGM+Mty6p122b5SvDWpV nK1+tV1PauDPOXnGgUzIDUJQ/ui1/ZOvBXv9tUwfVvH4RFo8Iq9UUl9OweGjApfJuBXNKIn2 eIQh94E2TegixYFMse0sQ4Mzj6idkc/aqQAso0WJKTJiQBxk1FLXsH6Ox/MuZqKb41BD1kuL jqqn5H9vrV7xHfZUn8NBHPIjPt8h5MPhUhw92U8BW+1w/jLuvxm+ydq02UTbh9UxRB5we5MK jBVF0lqF56voRZspuZ+Bl6JJS8QKiGdyELLz3kxqFb4VGitD2zEE308M72C/Wcf6GNtQQJY9 7C5lkfgcyjmQ5zz7BsXRERZkaDHSI1gxBzjg+GiJdyORLMhUArmg4ivRGsGkATmCsUPn3/6p fFm0eJzSK/jPwsSnvELMJab3rEuVxy0HmxObvV/9qcvH2uHWjWN9RWRCkK2IOVhGufr9BKmN slQOc5/bRSy+yKQpDQ9B6RXAbtVnuYs1eUSaIHQOm8KnLuOnAVH6KuK2HDFu1YqZNFyneIWC IDbLWuCG1PNo0pkoTbGqc0cN1eoZdUBWhbH49m01+c0DLMGjvBndBAj87mzvkjNCjBdwTCvg FrhaZPVnstY8qY9u6v3E65GORe4FsOrasSM7zKIkopvafHhDJ7wkj07+3jdAhRuHLoOWt5Iu 6yHn/zp0Wjk4rsncWDrtKOQNqtO5M+CU/pzNOjpJllexRm9fsjm5h8T91+FNJYSstV859amd SS8esCfZd4YYPYD5Xx3Ogx1MQcRNLTzVYjk/RiClvWrDgMP9CD6N/alyCPZVn5afSo2JJHOM A/4lPKw7NR+ro4XJhs7K9x5Ip1/ennPZLAHcoDviDymEWWYuFOOlb/8nx4G6zuQKH2lEt7/0 K3VVCrFaxW+l6HZ/u5367UokEUsM098pu0scmY22d180Wm6BVFbC9UtC8wND5UMnxHi0J39W ir2U1IjLifARhVBTwT35YXyfwWYB9FWAOzDGB4Swxq2ZRu1VaS6O5kwxhc4tj0yMnHmwfq8I N4TxmzoM1Ljitt1TOIU/bqgjf0h2vrewWkS9Fvgl9DpRSwTGqgOyGcrCT8lufYryC0RvB6jy akJqWF4rIWTTF6oV95nf29JFRoZujL20jhuaj2AqDoak5vO1/VOkZUTJMmquoDvruxTTFLNe Z8zb2GK/mad12dVvPc5/dUzjseYzNqVS9OiIvaLqRI6xsmNB6dOAy/GtTIISNA+9QVfFVLEi zTq5GIxbKhAxIa9x5XOoTg0F1lNvr7gwt0HYMMTZdMLrPDh8+XkRg== IronPort-HdrOrdr: A9a23:CAQvm6gzNAFha5itbS9tiaIj6nBQXvEji2hC6mlwRA09TyX4rb HLoB1/73WYtN9/YgBCpTntAsW9qDbnlKKdgrNhWItKPjOW2ldARbsKheDfKn/bexEWndQy6U 4PScdDIey1JWc/p8f36gu1Hr8bsb662ZHto/zRi1NkTQQCUdAY0+6VMHf8LnFL X-Talos-CUID: 9a23:NJJwNWzwgnoFP/AUIS3lBgUdK+kGW3vt8UzvLlfhCjhCFeOKV1CprfY= X-Talos-MUID: =?us-ascii?q?9a23=3AMoISBAzGL6ursrgx9UWMYxv9BF6aqKqST0xdtZk?= =?us-ascii?q?agdCJbClpCgeFlmiaZpByfw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.21,268,1763420400"; d="asc'?scan'208";a="137657376" X-MGA-submission: =?us-ascii?q?MDH69N/cU8/tQoYml8Hh7G7nOm1A+dNzangLVw?= =?us-ascii?q?VfyoPeQ31bTsojyilvuNiOkq/jYdouPhpmmVlwxajp/OQ3zHuarBXp80?= =?us-ascii?q?NnTcPptZICpNUY2AslBscihZqKP629T0psz/ahLvNyZdge01RksZXlhS?= =?us-ascii?q?Gy+3yJWvHabyNrFJbC/3QnIA=3D=3D?= Received: from mx1.polytechnique.org ([129.104.30.34]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 02 Feb 2026 12:00:36 +0100 Received: from TM.local (unknown [82.66.240.41]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ssl.polytechnique.org (Postfix) with ESMTPSA id B973D1A39E; Mon, 2 Feb 2026 12:00:34 +0100 (CET) From: Alan Schmitt To: Philip Kaludercic , caml-list@inria.fr In-Reply-To: <4f808b2d-9f1f-4660-b418-2168dfaeb6ce@cs.ru.nl> References: <4f808b2d-9f1f-4660-b418-2168dfaeb6ce@cs.ru.nl> Date: Mon, 02 Feb 2026 12:00:32 +0100 Message-ID: MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Mon Feb 2 12:00:34 2026 +0100 (CET)) X-Spam-Flag: No, tests=bogofilter, spamicity=0.061061, queueID=E8E5F1A3B0 X-Org-Mail: alan.schmitt.1995@polytechnique.org Subject: Re: [Caml-list] Broken Link Reply-To: Alan Schmitt X-Loop: caml-list@inria.fr X-Sequence: 19442 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: --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hello Philip, On 2026-01-20 17:20, Philip Kaludercic writes: > the URL https://caml.inria.fr/about/history.en.html is linked to from=20 > multiple websites, for instance the CAML Wikipedia page, but it appears=20 > to be broken since it now redirects to the OCaml page without any=20 > further hints on how to find the original document. It appears to also=20 > have not been indexed by the Wayback Machine. I found a version of 2023 there: https://web.archive.org/web/20230407051542/https://caml.inria.fr/about/hist= ory.en.html > Would it be possible to fix this site, and either upload the history=20 > page on the OCaml website or on the CAML website? I=E2=80=99ll ask around to see who is in charge of this redirection. Alan --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQFTBAEBCAA9FiEE6lXof/BsSVW56ZmGBA0KO07S5ccFAmmAg9AfHGFsYW4uc2No bWl0dEBwb2x5dGVjaG5pcXVlLm9yZwAKCRAEDQo7TtLlxzNQB/4wCD9r4YWVlGDs P7VqBjCx5BspCt/XSkgDJCbz5X2LnZGMu9dJagfqZCTSSdVt5IomFHSU+lIalfcr +tmrSXTq8SdomyNt6o1lI/TevvNBPL4SnJOTQGXonF07WuAGYZh197Ir/701dc3a H4PHGk91nV/w3uq49dSWpe71bUFAm8u/+QPD7fcV9zMI0gkGpp8fnzRzA/ZXDQZy h3jiw/wsA3NANHY9gFByiaucIP/5xpjlITMKDtRqEZSj8MBsVEm7F/blJefKVtrR zoMzACegZHohGlU36dYoUps53zDJe4wa8XP/k4AXb4d6vN508LeO1Gt0jxHIc2Ye Xcb4Vcfh =sYCC -----END PGP SIGNATURE----- --=-=-=--