From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 67FF97FFC7 for ; Mon, 5 Sep 2016 18:11:11 +0200 (CEST) IronPort-PHdr: 9a23:hnK3qx2xp+APMFvfsmDT+DRfVm0co7zxezQtwd8ZsegULPad9pjvdHbS+e9qxAeQG96KsrQZ26GH7+igATVGusnR9ihaMdRlbFwst4Y/p0QYGsmLCEn2frbBThcRO4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVImbsy8IIPZjty22uau4NWTJlwQ3HvuKY91eTq/px/Qu81euoBiJ7w80FOdrXJCYeVbwSVzLlKehRvmzsi19Z9ntS9XvqRy2dRHVPDBfqE/S/RzFikvNW0urJnwtBzES02E/GYVVGgN1EAQW1ft6U3qGJDrvX2p5aJGxCCGMJiuHvgPUjO44vIuEUewhQ== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=Pass smtp.pra=simon.cruanes.2007@m4x.org; spf=Pass smtp.mailfrom=SRS0=cnkI=UZ=m4x.org=simon.cruanes.2007@bounces.m4x.org; spf=Pass smtp.helo=postmaster@mx1.polytechnique.org Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of simon.cruanes.2007@m4x.org designates 129.104.30.34 as permitted sender) identity=pra; client-ip=129.104.30.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=cnkI=UZ=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="simon.cruanes.2007@m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of SRS0=cnkI=UZ=m4x.org=simon.cruanes.2007@bounces.m4x.org designates 129.104.30.34 as permitted sender) identity=mailfrom; client-ip=129.104.30.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=cnkI=UZ=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="SRS0=cnkI=UZ=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@mx1.polytechnique.org designates 129.104.30.34 as permitted sender) identity=helo; client-ip=129.104.30.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=cnkI=UZ=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="postmaster@mx1.polytechnique.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BHBwC0mM1XfSIeaIFdHAaDLwEBAQEBdahPiHYMhESDGoIeh0k6EgEBAQEBAQEBAQEBEgEBCxQJSEEOgWMEARUBBIIRAQV5EAshJQ8FSYhdBQG9HA6KfYdtgi8BBJlJCAEBhiGJC4FiAWONHZBGJQuCNII5hB2BbYFAAQEB X-IPAS-Result: A0BHBwC0mM1XfSIeaIFdHAaDLwEBAQEBdahPiHYMhESDGoIeh0k6EgEBAQEBAQEBAQEBEgEBCxQJSEEOgWMEARUBBIIRAQV5EAshJQ8FSYhdBQG9HA6KfYdtgi8BBJlJCAEBhiGJC4FiAWONHZBGJQuCNII5hB2BbYFAAQEB X-IronPort-AV: E=Sophos;i="5.30,287,1470693600"; d="asc'?scan'208";a="235304097" Received: from mx1.polytechnique.org ([129.104.30.34]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 05 Sep 2016 18:11:02 +0200 Received: from nunchakus.loria.fr (nunchakus.loria.fr [152.81.10.98]) (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 64FA0564769; Mon, 5 Sep 2016 18:11:01 +0200 (CEST) Date: Mon, 5 Sep 2016 18:10:59 +0200 From: Simon Cruanes To: Gabriel Scherer Cc: Damien Doligez , caml users , Fabrice Le Fessant Message-ID: <20160905161059.GC16903@nunchakus.loria.fr> References: <87DC4D8E-4C3F-4F91-B4FE-983B27991BE0@inria.fr> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="TybLhxa8M7aNoW+V" Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.7.0 (2016-08-17) X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Mon Sep 5 18:11:01 2016 +0200 (CEST)) X-Spam-Flag: No, tests=bogofilter, spamicity=0.000008, queueID=D686C56476D X-Org-Mail: simon.cruanes.2007@polytechnique.org Subject: Re: [Caml-list] Ocaml 4.04.0+beta2 --TybLhxa8M7aNoW+V Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable This is very nice, thanks for the effort! opam-builder really is a nice tool, too. --=20 Simon Cruanes http://weusepgp.info/ key 49AA62B6, fingerprint 949F EB87 8F06 59C6 D7D3 7D8D 4AC0 1D08 49AA 62B6 --TybLhxa8M7aNoW+V Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIcBAEBCAAGBQJXzZkNAAoJEErAHQhJqmK27dQQAItDsw/yLxJ0cWNOSfS7k9y/ yvbJ0MiF1644zlFRnI4rO1H5MuHgIi7UoQ8ZcKA36w4gzRu3o5Qj5/kAGNSrWPz9 gO59dhx4g+1khvTflsL2ybRK+YK5993t/fvKj6LclSDOevWOquXrYDBWdF+YqFIR 0ySyBI8p4a2yuVGfBYmsniL7Ysxm5tT60jWnMWTMDMz+bVYLE5xrzubIC7WeruIm SZ3c1tccnwInJeDZAwe/DSRM+RyN7k3r4VZ8UF+I5GJOsObpZqnNqzx9CIdmLvZw rwIt5YtHnvCq5Mzvw+Iguz6npUZITQfY65TgjcLHh8btU02kVUXun2x4kdsemWJb B1yFTQCLBGhrNPDIpGhCTwLeGQcDpQvySsZmfcLfbSlKe4BBn5sdI67T8RE6V1F1 OCWadpL9OOcWimjS0A522RCr2cJFgQXHWIeQzWC+F/FwEPl5u0dZELgUh9L4yV5d 9PcqUp7ak7CLIAUnfK4xpFz7Ns1vDsoxhgkD4hX74dvaWTrZSOwQPmStxI9eBWbg EErncMNxtcYEGpioDtHbFXql935z562CSMTa+VlgraEzJl9nfiEdAxLTp7ZuN/1Y fPz0aSZBWNHbmnC8Nau5IebcRLdXaxICRelGltHxxR2fSdZEPG0IQx6be6Lr7MYe m629Dpg9O1Mj0Dh8HnZI =kp3x -----END PGP SIGNATURE----- --TybLhxa8M7aNoW+V--