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 sympa.inria.fr (Postfix) with ESMTPS id 1E3A37ED21 for ; Sat, 10 Aug 2019 09:06:25 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=rich@annexia.org; spf=Pass smtp.mailfrom=rich@annexia.org; spf=Pass smtp.helo=postmaster@annexia.org Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rich@annexia.org) identity=pra; client-ip=80.68.91.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="rich@annexia.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of rich@annexia.org designates 80.68.91.176 as permitted sender) identity=mailfrom; client-ip=80.68.91.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="rich@annexia.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@annexia.org designates 80.68.91.176 as permitted sender) identity=helo; client-ip=80.68.91.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="postmaster@annexia.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AtskvNR/cr/8wx/9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?2+IcTK2v8tzYMVDF4r011RmVBN+dsqsUwLOP7OjJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglVmjaxe65+IAi1oAneq8UanIlvIbstxxXUpXdFZ/?= =?us-ascii?q?5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohVbBXAygoPG4z5M3wqBnM?= =?us-ascii?q?VhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu47ttRRT1ky?= =?us-ascii?q?oMKSI3/3/LhcxxlKJboQyupxpjw47PfYqZMONycr7Bcd8GQGZMWNtaWS5cDYOm?= =?us-ascii?q?d4YBAeoPM/hFoYf+qVsBogexChSjCuztxDBFnWP20K4g3ug9DQ3LxhEsEtQTu3?= =?us-ascii?q?rUttX1M6ISXPi7wKfUzDXMc/NW1i3n6IfVbxsuoeuAU7VqfcHMzUcvEAXFgUuL?= =?us-ascii?q?qYDrIjiY0f4Ns2mH4OpgTu+gkWgnqwdvrTmgx8cjkJPFhoUPylDL7Ch0xps+K9?= =?us-ascii?q?O/SE5+e9GkEZ1QujmVN4t3XsMiQ3xotz0gxrIavp67eS4Hw4kkyR7Hc/GKcJSE?= =?us-ascii?q?7gjiWeuSOzt1gG9pdKiiixuw8EWtzPD3WNOu31ZQtCVFl8HBtnAT2BzX7ciKUu?= =?us-ascii?q?Fy/kGn2TmR2AHT6/tLLVozlarBJJ4t2r8wlpwNvkTfBiL7m1n6gLWXe0gn4OSl?= =?us-ascii?q?7/nrbq/7qpKeNoJ4kgT+Pb4vmsy7D+Q4KA8OX22D9OSm1b3s4U35Ta5Qgf0wlK?= =?us-ascii?q?nWrp/bJcUBqaKjBA9VyIkj5w6lDzi6yNQYgWUHLFVddR2blYfpPlXOLOn8Dfe+?= =?us-ascii?q?mFSsjCxmx+vGP73kGpXCNGLPkLbnfbZn6k5T0hA/zd5F58EcNrZUG+5yQk/4st?= =?us-ascii?q?GQIRs+NQCpi7L8FNhl1qsRXWWJDrLfNq7O5wym/OUqdqO2ZYQVsSzxY8djwrim?= =?us-ascii?q?r3g/lERXNf2z3JAXQHm+GPl2IkzfZmDj1IRSWVwWtxYzGbS5wGaJViReMjPrB/?= =?us-ascii?q?plu2MLTbm+BIKGfbiDxbyM2CDiRc9fYGZLGlGFV3DyeNfdAqteWGepOsZk1wc8?= =?us-ascii?q?e/25UYZ4jkOnsgn327tuaO3O9X9A7MOx5J1O/+TW0CoK23lxBsWZ3XuKSjgvzG?= =?us-ascii?q?oOQTIm3ak5plZymA6O?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A9BAC3bE5dZLBbRFBmHgEGBwaBVQcLA?= =?us-ascii?q?QGCFm1RM4QAj25SAQaBNpkQgXsJAQMBDCMJAQIBAYN6RQKCYRwGAQQyBw4BBAE?= =?us-ascii?q?BBAEBBAEDBwEEU4U8DEIBAQQHAYFqKQGCZwEFMgFGEAsYCRMSDy0bBoM2gXYYC?= =?us-ascii?q?6xyhUmEfAaBNAGLYxEGeD5JhCM+gmECh0QEq0UHAgKCHYZijUIngiABlhiVMJB?= =?us-ascii?q?KgVcDLYFZfQg7gm2GM4pUQYE0AYI2NYwdAQE?= X-IPAS-Result: =?us-ascii?q?A0A9BAC3bE5dZLBbRFBmHgEGBwaBVQcLAQGCFm1RM4QAj25?= =?us-ascii?q?SAQaBNpkQgXsJAQMBDCMJAQIBAYN6RQKCYRwGAQQyBw4BBAEBBAEBBAEDBwEEU?= =?us-ascii?q?4U8DEIBAQQHAYFqKQGCZwEFMgFGEAsYCRMSDy0bBoM2gXYYC6xyhUmEfAaBNAG?= =?us-ascii?q?LYxEGeD5JhCM+gmECh0QEq0UHAgKCHYZijUIngiABlhiVMJBKgVcDLYFZfQg7g?= =?us-ascii?q?m2GM4pUQYE0AYI2NYwdAQE?= X-IronPort-AV: E=Sophos;i="5.64,368,1559512800"; d="scan'208";a="395018251" X-MGA-submission: =?us-ascii?q?MDH4wwmJPCjbiIv7qPJ9zCAt3y+OWilZjEy6ln?= =?us-ascii?q?a+2cBusKofBsyytFVswmNqcwfKb1dhZ26Fps2JqS66rNJ8Su7DiSMd4Y?= =?us-ascii?q?HVdj0gXuoC36ne04M+QcbQMjHf2DhernI+4XJitbu1zT0N54hSJcgc20?= =?us-ascii?q?6efQXLsX0bdiCzsN7MipcowQ=3D=3D?= Received: from annexia.org ([80.68.91.176]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 10 Aug 2019 09:06:01 +0200 Received: from rich by annexia.org with local (Exim 4.89) (envelope-from ) id 1hwLRu-0001dO-UI; Sat, 10 Aug 2019 08:05:58 +0100 Date: Sat, 10 Aug 2019 08:05:58 +0100 From: "Richard W.M. Jones" To: =?iso-8859-1?Q?St=E9phane?= Glondu Cc: Jeremie Dimino , caml users Message-ID: <20190810070558.ppt7kxvbdyprr3am@annexia.org> References: <20190809143053.qwpkaeupviqtf6rw@annexia.org> <2f9289c5-954f-7d15-8fee-f5af1ae47697@glondu.net> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <2f9289c5-954f-7d15-8fee-f5af1ae47697@glondu.net> User-Agent: NeoMutt/20170113 (1.7.2) Subject: Re: [Caml-list] The end of Camlp4 On Sat, Aug 10, 2019 at 08:58:45AM +0200, Stéphane Glondu wrote: > Le 09/08/2019 à 16:30, Richard W.M. Jones a écrit : > > 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 Great stuff, thanks Stéphane. Rich.