From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id AE8EC5D6 for ; Sat, 10 Aug 2019 06:58:52 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,368,1559512800"; d="scan'208";a="395017613" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Aug 2019 08:58:51 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id C94327EF0A; Sat, 10 Aug 2019 08:58:51 +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 2E2927ED21 for ; Sat, 10 Aug 2019 08:58:48 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=steph@glondu.net; spf=Pass smtp.mailfrom=steph@glondu.net; spf=None smtp.helo=postmaster@redisdead.crans.org IronPort-PHdr: =?us-ascii?q?9a23=3AW0gJ1x0DHCBqe92RsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIQIvad9pjvdHbS+e9qxAeQG9mCsbQd0rqd6vm9EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCejbb9oMRm6sAbcusYLjYd/Kqs61wfErGZPd+?= =?us-ascii?q?lK321jOEidnwz75se+/Z5j9zpftvc8/MNeUqv0Yro1Q6VAADspL2466svrtQLe?= =?us-ascii?q?TQSU/XsTTn8WkhtTDAfb6hzxQ4r8vTH7tup53ymaINH2QLUpUjms86tnVBnlgz?= =?us-ascii?q?ocOjUn7G/YlNB/jKNDoBKguRN/xZLUYJqIP/Z6Z6/RYM8WSXZEUstXSidPAJ6z?= =?us-ascii?q?b5EXAuQcI+hYoYnzqVgAoxSwCgajBv/gxDBTi3/qxK03yfgtHR3I0QEiGd8FrX?= =?us-ascii?q?TarM/yNKcXSe270bXIyi/bb/NWwzj97pbHfQggr/GIWrJwd9feyVQyHA7ClVWQ?= =?us-ascii?q?tZLqPyuV1ukWvGib6+1gVeSyhG46sQ1xpCagxts1h4TPm4kbxFfE9SBjz4Y0I9?= =?us-ascii?q?21UEF7Yd+4EJtQqiGVLJF6Td8lQ2Ftvisx174IuYajcSQXxpkqxATTZ+KJfoSV?= =?us-ascii?q?+B7vSeicLDZiiH9rfL+znwi+/VS8xuHhU8S51EtGoyRAn9bQqnwByhne5tSCR/?= =?us-ascii?q?dj4kitxzKC2gXR5+FKPEw5kLbUJpAjz7Esk5ces0DOEyH0lUjwkaSYbF8r+vKy?= =?us-ascii?q?5OTierjmpoGTN4tzigzmKKQhhNGwAeUjMgcTQWeU4/mz2Kf/8k3jWrpKiOY2nr?= =?us-ascii?q?PesJDAKsQXvq+5AwlL3YY/8xuzEjmr3dcCkXUZIl9JZQiLg5XnNlzPOvz1A/Oy?= =?us-ascii?q?j0ypkDhxxvDGOrPhAo/KLnjGiLrhZqp95FBEyAoz1t1f6JZUCrYHIP3uR0/9rt?= =?us-ascii?q?rYAQElMwCs2eboFM191p8CWWKIGqKWLLndsVqM5u42J+mMZZQVuCrmJvg+5//u?= =?us-ascii?q?iGc5lkUHcamo25sXcnG4Ee58L0WXe3q/yusGRC0wvwE+RfbmwGLEdHgbRXG0Ur?= =?us-ascii?q?l2rmUhCYmmJY7FQI29gbXH2z20SM54fGdDX2uQkG/ofoOJbNgIbySeP4c1iSAJ?= =?us-ascii?q?TbiJRIsm0x2z8gn31+w0faLv5iQEuMe7h5BO7OrJmER3rGQsVpjP4yS2V2hx21?= =?us-ascii?q?gwaXouxqkm+x5yzlCF3bU+hfFER4QKtqF5FzwiPJuZ9NRUTtX7WwbPZNCMEQz0?= =?us-ascii?q?TdGhBz0sCNQ8341XOhsvK5CZlhnGmhGSLfoVmriMXsVm6K/Q3mP9Ks9xjX3c3a?= =?us-ascii?q?86yV48TZkXOA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CGAgDVak5dbCeI54pmHQEBBQEHBQGBV?= =?us-ascii?q?gUBCwGBRFNtUjKESI8mgiODVJcjCQEDAQwjCgIBAYN6RQKCYRsHAQQzBg4BBAE?= =?us-ascii?q?BBAEBBAEDBwETDRYEhVkMgjopAYJnBiNWEAsaAiYCAlcGDQgBAYMeAYIKAQQKq?= =?us-ascii?q?0CBMok8gQkGgQwoAYtjF4F/gTiCaz6CYQKEbIJYBKtFCYIfhmKNSAYbgiABlhi?= =?us-ascii?q?VMJBKgWaBek0uCjuCbYYzilU9gVyOZAEB?= X-IPAS-Result: =?us-ascii?q?A0CGAgDVak5dbCeI54pmHQEBBQEHBQGBVgUBCwGBRFNtUjK?= =?us-ascii?q?ESI8mgiODVJcjCQEDAQwjCgIBAYN6RQKCYRsHAQQzBg4BBAEBBAEBBAEDBwETD?= =?us-ascii?q?RYEhVkMgjopAYJnBiNWEAsaAiYCAlcGDQgBAYMeAYIKAQQKq0CBMok8gQkGgQw?= =?us-ascii?q?oAYtjF4F/gTiCaz6CYQKEbIJYBKtFCYIfhmKNSAYbgiABlhiVMJBKgWaBek0uC?= =?us-ascii?q?juCbYYzilU9gVyOZAEB?= X-IronPort-AV: E=Sophos;i="5.64,368,1559512800"; d="scan'208";a="316065294" X-MGA-submission: =?us-ascii?q?MDHTqRb5g9K8ADO8hHiJNaMT4x3eZeyn/OIza1?= =?us-ascii?q?rLNMzs0vquAg3a+4aOtrug/Zpx6Vcn6+jzTjUXPqFIlRoWG/3gkKUQv+?= =?us-ascii?q?U/z/8UvM6aueGFpG+A1J2MjErdv6rBOheaYdgqREfRw9z2H4x/Bucsvx?= =?us-ascii?q?OHiSmgcYNdYdmgRQttMOOJwQ=3D=3D?= Received: from redisdead.crans.org ([138.231.136.39]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 10 Aug 2019 08:58:46 +0200 Received: from [IPv6:2001:913:c01:0:2c29:7f1:c37c:7937] (unknown [IPv6:2001:913:c01:0:2c29:7f1:c37c:7937]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by redisdead.crans.org (Postfix) with ESMTPSA id 68ABE4A1; Sat, 10 Aug 2019 08:58:45 +0200 (CEST) To: "Richard W.M. Jones" Cc: Jeremie Dimino , caml users References: <20190809143053.qwpkaeupviqtf6rw@annexia.org> From: =?UTF-8?Q?St=c3=a9phane_Glondu?= Openpgp: id=58EB0999C64E897EE894B8037853DA4D49881AD3 Autocrypt: addr=steph@glondu.net; prefer-encrypt=mutual; keydata= mQINBEpaWw8BEAC8yDOX137e5bAH9E7kQhGiERN4atC7h7ZeeSYDaiToOdg7Ome8kSoIGlEE DxlU3LffKbQfH2SJtRfAH1bUHuJ1xq769AVpAsAN9elkcKkieAERQeA9uzR+prrM2KMT1dZJ QTKbOkTu6CLKyzNsnuGa+osfMRxYN8atUqXD7fVBLeuoVnqBVOSS7dLYsU2mR6CSvBlsppxC ub0ArNZ5BBxhmQJK7M8bnRfqF10jn/thDBk70FVVuKnKKYICh+nbfFwxG9vQwQYQkgQHdMfC UHPnAQMo1dBMVCiP19+dkzpGfHMBp+e/2gMd6YngoBhj2oKlaokV8Bil5q4D1UArWm/U3I5A dPu/l762DtF0Bo1XIKQYp1ecvX0VS6ZzVpC4JVomFcqi+uGjzC1vEENQAb+ghEhv20UDQKMs SvSaqM791CdWNJdsstgHunrBSVWhPRq2JtehOp9avTXbop4NZJfs4QwTW6el+q2M4HFoM6k7 jBM8wJWoaAkKi6d90t5DJwEet4D26KWQi+/fS8MvavWLpR0qkObdTWFUuHq8665U5HPaNEW6 C1WzTt2TjWl9HjuIeiPlvPnnHtRBCe/g4g0EepTm8GH9E0FjzI9txDYcZD11bj1kVHu32Pzk rvzdgz/JP0NUbASS1bQwRoSLwtVPflS+dWiEt9DnOVazeWpjEwARAQABtCNTdMOpcGhhbmUg R2xvbmR1IDxzdGVwaEBnbG9uZHUubmV0PokCOgQTAQgAJAIbAwIeAQIXgAIZAQUCSlpdiQUL CQgHAwUVCgkICwUWAgMBAAAKCRB4U9pNSYga0/eiD/9taJ6OVuJ+tLkaRgdA+EttGAkiTVyY BaZLfqIF0oxvqFkAu8b+x2vyXraK0IW8A5n9kZQ/RSvW70MztgVAjT8OLjM64fgflMpbsSDX AiYriZ9gmtyokAJ42OMGi3WFcivQjesTSfuPcIA8aX+ZtruEmLgFoc5V/4OXF2a5jXn9SWXk 3SjBclkx6fvgvg+OkYZb/dwEhpNcWYJAvnkTLxok6TvI5AsFMhS2OlDeQDk6/4CdjmQ6z1rp MLTuwB9+KD4YOu4ju9laNWt9a1Yl3Ki2W8EtlBKQ49tqCTmY+swAVp6xWMpzCrcafqjFOTjV tBe6tImt5z002hVu10VViLTmtrvnrWZTgISFAe4PRnzlMjiGCP53JZH7ULOUOrVALGNwl04V Eve7BnwG+mOaBXXCPX446qhp2qvHfBo8z2wusM+p3741Dq+sIdiZUfhZEB53qXfkIQPESv2h F+p4Q6q8rf2+hVSBzxgfLDRodISwdaLfWoLQbyv49FzVlt6y5xU52+fvzKMu6qywAz/qddwZ iGn3svaIEOeZjOM8klmpllwoTiSuPoAlFPCb3aqu6JUbKVyj0ApdVCJHY/0F1W97Q2rCA7Rc ZcZSneHRl9chg63SppuLes6ZGggBqGb2NY6Ptrnn0v+YWnRqg+A9NncFemQBLls/BzKLbwDv nQdhirkBDQRa7egXAQgAsgxagh1oaVO1rjUZB6B7vnFtujUui11Uduh7dbaoucLPgNfHe5oS F2T7Xsyaoy4uNzIpQzz4P1zFNUsEBWXpykU8I4wiFFIs20aRbDqOucdbqLY3B94TheKfyczb g3vgfuq4MDFafZENBSuHp5rjvFwQxeo+F6IqcK5zBNSwoOu3bF2N3CNO9Re2FcIbf7wZMcsI LwGd6MktwqHuDoBjRrnBrmBB9pDsBHqjqGiFtbAx/nBEyISsoqCDb42AoOSooOkITLqhHyeV TsZLO4WXU+MVtpfrx/xhNjOT8+b5NfopDpJ7P4Pk+AUVoJ0Sb/8qk5xtRnXOAmn3Sknln6x4 jQARAQABiQNsBBgBCgAgFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlrt6BcCGwIBQAkQeFPa TUmIGtPAdCAEGQEKAB0WIQRt4k6X7KiGzFbmJQ4huO7xsYkwgQUCWu3oFwAKCRAhuO7xsYkw gRnBB/sGGHLWd9U2d5CabYicm2lIa5YNAH3nSCL9TAbg0hHab2A7r6nlVSP+IyM70ikK7uG7 irLpKx9OL545EezK9s61ezcJJ6ifpNcPYCSbLNZRFBLSfgEQI0263lmggkP0ySnHqHQUzCQ+ KwbBwYtzftrJOxMVVCxMjZDD3WRVVaGLYqBySSSzVT8fPdFtsMqCjHsCpw2DEY/OBza52ZHQ ZymHG97l/RDuXsKuIUPU4FhEonmngJqmfMAwdQx7stXzJEbCRWwibYVCnoZQucOrEP310lRe hPvRdh/40QpuWErWB1C2jT2N9C3xxutfX+T94k5+h5Cp5KFjiWh44N0KRHx4wDEP/RVUevs6 R6Jm1VduJ3Pw4X20T3iWkUzT3ckwQ0433kaPB2iz6VqupwSms3TN7SVBf/bFWtDzCAbE2Lth hgcK5FDDRV7fhCBK37SLQUhIeEH59DLAa3vHqjXJyEa98uAJwaNsHEIkoxKyBUfEBT12v1aD go1HrZTPQTDlLFP1uQGPXF1OZhc9zb+D5Bn28aqoktMNFmTrEgv3gz/aLWfUzmDTY75FVkjb Q8gS8TUJVIIqOjdDWE90KocffZJnbm9vy8PK+LziCW5KXEuNtg3rg+oQg9qoo5xFhXMeK6Cz rOLpZgZptSEEvOlgehDDHD8/DIxuaTJdv7qzwh3lUki5HWqIisl7chM+XkdjAk/RySta26Xp u5cJa/EDr1n60CmLU3+LyJJwWdNr6QxvOa0YABBcqiOJue2vcFs4g5AQJTy8gbmOD2MpjjY2 bjYWNafD2miGaYRRXtc6yisT+VKsm2CKSE1tg6g3eOGioZeZ8I6ZTdZq9rah8isOF0KjYsZt pbb3l4RwWPIgfxPl0/RCtdJqOWLSjlocsUzeIEVeE4BxR7vnmmQeSIz3yV6JuFbKeMbldWvM V8ak3uYWz/la2WGfoqrD6ttTgiMZyq3we6u3n2lFTrd7csm+Pc0yakNYRyMbGJ8s2LLow0jN ByVoBlSq+aCr1Mt9Pf87O5Gog4dhuQENBFrt6JABCADF1wGuu1HOr67/1IDveDmyc5d83GpL BMVF1uGRenf9fpE76Q/xiz9Pet75XqOAfzah5Dm3tVMTzkVX/tBM1Cmb8Bsx9R3ogwC3at1y B7wGacb9pGih+bsRbaq7Sg00+ePkTu4m/tVaPmWSYGva0L0R6MM7MEZ7yY0Cg9Ea0rOI6rDl Ay2j/9MgqwOKrJxAm1qyW3rI03auuZRe3uvHSkQkiJmZnOXs3W/WRcnXRyjHdpEt5EI/+QFE zDZdD0PTS4dQK9MwcbEr4EP9a6iiwTiMEoGGpSvFrj9nnfBBc5Edmm00xRqoqYxnB596BU76 cVl2xPd6oNbk62AqpsLHCcXXABEBAAGJAjYEGAEKACAWIQRY6wmZxk6JfuiUuAN4U9pNSYga 0wUCWu3okAIbDAAKCRB4U9pNSYga06jUEACVT6kx3y+898pWYcp88tZwt9JvFliUwsicoagz abrMLAdA2Wxi1hINujPnL+3V6HoAtO435Lut1cP1jKoQP23lfWNcrVTHiYqdRhPJJ16ss3am +nIQQ26XrQWsx1MPrZzNAPKvvQQ00VXIWAmNGYjDOrd+tRQByDd9Z9GZjfeUHVJq64/l2liG z4VcMy0qB++2d/39XPoeECI7f3QkSJD2v6l4/OW7mogRhvFdZxDFiqfAnTSsNl8fphMvr5cb 8LxwFTUrsmR/WOlWLQSCM+V+WRy1d9tMbEYfGEDQ0jT0QxBOETknm57mSE+Kf37ZYmqaz7YE LyjjSkqrUoImi9Nrcar42yhXf3VFuAoC1k265wqu3Zgwo+APKhLuSR+qGtPpzZoyoctJ9SoN 5p+TstLEJPviURwQTmA8bec4Hwtuqkw6NTpVp8hOOkUIC9B06DCS7YCFS18vqjfC71mLoimH rqWVmz0XtaHx3qvRJAfAwUAkyVsuRcVMv7Ms3tVMhOCGkUTFoIkCTte7lbFCW/RXCeW5n4nH CJyAg6yWcSLM/BY4B5cIieoQLXf0+Q2Rofbwmys9xD0o8o8xw/NGpfW8ysJCClMiTSDLyXrk kZDJL0IEj0MgeLZUNbhoG36VccIQ28k3yhZjHeAWIkwFV2MZ8HsBu7gU4mL50RzwoncedLkC DQRKWl3RARAAwHJhZ+2rdmD9E0UDFNCZUJviNy9hkSNCYRrF+u9+s//+XvITHlLn4d5iGvXF pRxAFmQVv5fHgfeBNUEY4+JGunNRv6mm8aaZfNmOW94YzhiW9MEDt6uEo/1b6WlV8fX6huLl +ZWeiVy7R+0m6nhKC7KbD36ZwenfRVAElv0BTdh5K1ovQNcbtF+vJXSyXToubClWM7bXKEtt YBfA5pC7h68MgQrg/UWOjOgDe1x61wXB4hxAGp0ykGVtzXFDoD6M8pAvK3TL9/Cyoc7sAx1R UUAhKtTj+i1rNdEOUsDCHbWzQpZ1mjKx6X0gL2QIKTdnsEfRj5Yx4X3BeWVt2rKd57NuMhRj h6kztpFxLeeKmfzDEizYuiFWwZTieCCBJtMsiBNWwdcexc7ANXyvFfbfUEoQOSZpsi6D8zGa vFIyoWcRrvUUJ9t5KvEqJu3XX3sPyGar+ugLUdJu9nzqaABQ1FpFrS0tnFMiH6b0fwFykgr+ Xmbr5jZ+0Av4UGOcXyjlqZFf1JsVltEpgcr3tATnLrJ+E6jusDFle7S0c4ZJoTVitzElQCoG 11ouIIhdpHCU8J5L58kX8ZZ1zlj9xkHiTKVTHN9HnYJ2urrGsCLxtdr2cMUnsajtJuE+zfEr mvi0MvV67/5fJq7w2jjzJfiovYmNPNP0YwF1Vduggqt31uMAEQEAAYkCHwQYAQgACQUCSlpd 0QIbDAAKCRB4U9pNSYga0z5QD/9f9fmz6UPHjwMXI1jcFz7Y8eDeQSv1Z4wrvktA/oBMQxCp I1r+tMju1huHu2ZEIyXfD6I5oJs9qFFEVsDgqY+CUHVUW4L69yppQy+0Dxi3eDZtEid+8vgI roem9Qi67ceY8U3YMIIggoZ5hNN4HyH9Qwzl2H4M3IC9sE4rDAULotDH8S7UUpx/HV5x1Ra+ y/aUdsWYXTphmhkpvSAGBx67rfVwOqhuRID/SJ7QJDyPMUF/9vO9aWM0n7cvSYF2d1v6+csV YkQ1cRBXNhYIBpmz2RA+KvsuYp6IdfyzuoLOqUEs9TbjRhhSwH89ftBI07bwpBMTTmKlRh5L l7EU+jJgduDW0Ziq5dS2yfjuOldwQRN6G8Wsc2h3AQ1hp0KWcDqMNNYubO0J9zFUQwr2ugZa UH+AjboFadlB/XAXl0BynSZsobF2r5K3JmIpbN6aQ3RFDpZEh4XkWzH9IE8h/JeYlmN2+muo w3nOUZWaAEekM/16P3brf4UyjpfaGyUuTPqXhwj4m8t9lz908m2vEQB3ku/dPCjo24VF14HE sLIDRzoWmpJzuYAPJA4EVfZ6t/joLi0+f2iXwe/4/8WqaAzruS9IU4a5rOKsSmk+818IQp5i fXW/M3b7IXRha1RMxhABd/5cWnxptY6hWcAjTaGijijFrDci7PZOGxjhwCHK04kCNQQoAQoA IBYhBFjrCZnGTol+6JS4A3hT2k1JiBrTBQJa7emVAh0BAAoJEHhT2k1JiBrT3rwP93nf2BYs hMfaAt6CJgIodoSqnm58dlE/ppHmK3TVU3qeS4wYAl32ynLHjDiGnP9+Mzahr60YKRDFLOcR 6H07LGE0ZYlDbSNxnrp1tpCl47WvSVA6epwf/2Iw80/azR31Mng0VvO9U57hIVb/Veht7OYh Qbxfdtfymyl6xG2VHC9nkO27iM2l1NrbvIVaLiyVQrJTQvkw3l5GTWscf+DFoiyi8PeL3ruU u3kJxiNceaPTMUnBDPjSsRNBFq9hIRPaBMRT+OEaoKuR39fJ/fbRTaXMWsPGuyEM3TesfI8Y b1axw3d4oNviDXwA88O0whtkDFVTV9myEnu+/ijSyESbl7uiwLpn4eeMfBF6v/d1LrULjQGc Qxx5MZ4Df/h1K4710AmRkeMEVFw9QmMlxaFTm/9CgINYJIYEWmWoMSm78+tG/HhvDXFT4A2r IxW7LlYu4kmT5Oooo97ltU1RTrLWUTufEbN7d7tBR0g1Iokky8H6U75NVz17Lwpafc56CKsS Vjm2yXG/WgVlSFv8qv5UVppTwTw/76t7WOef7qSy+FzzXIPVBCw5YYh/ouBZagay6y/enpwP 5aZjyVsTwVOiEmGNm80DjyBqXGmrgUzJDYIZt1o/96RcTdWAAklTRtnxdFVfwtPWGNCek/2M 9r5JVRog9tv90RQH6+0/QW9lFuo= Message-ID: <2f9289c5-954f-7d15-8fee-f5af1ae47697@glondu.net> Date: Sat, 10 Aug 2019 08:58:45 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.8.0 MIME-Version: 1.0 In-Reply-To: <20190809143053.qwpkaeupviqtf6rw@annexia.org> Content-Type: text/plain; charset=utf-8 Content-Language: fr Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] The end of Camlp4 Reply-To: =?UTF-8?Q?St=c3=a9phane_Glondu?= X-Loop: caml-list@inria.fr X-Sequence: 17757 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Le 09/08/2019 =C3=A0 16:30, Richard W.M. Jones a =C3=A9crit=C2=A0: > Another dependency I didn't expect was LablGL. What happened to that? > A number of games depend on it, and it depends on camlp4 in what seems > to be a fairly fundamental way. See https://github.com/garrigue/lablgl/issues/1 Cheers, --=20 St=C3=A9phane