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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 5CCDE7EE49 for ; Thu, 19 Sep 2013 01:38:03 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of nicolas.braudsantoni@gmail.com) identity=pra; client-ip=209.85.212.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="nicolas.braudsantoni@gmail.com"; x-sender="nicolas.braudsantoni@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of nicolas.braudsantoni@gmail.com designates 209.85.212.171 as permitted sender) identity=mailfrom; client-ip=209.85.212.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="nicolas.braudsantoni@gmail.com"; x-sender="nicolas.braudsantoni@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f171.google.com) identity=helo; client-ip=209.85.212.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="nicolas.braudsantoni@gmail.com"; x-sender="postmaster@mail-wi0-f171.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AisDALE4OlLRVdSrlGdsb2JhbABbgz+DNb4SOIEgFg4BAQEBBwsLCRIqgiUBAQVAARscAgMMBgULDQkWDwkDAgECARERAQUBHBMIAQGHbAEDDwQInACMUYMHhBAKGScNZIh4AQUMj2IWhAgDkCaBL4YmgS+FAYlbQYRO X-IPAS-Result: AisDALE4OlLRVdSrlGdsb2JhbABbgz+DNb4SOIEgFg4BAQEBBwsLCRIqgiUBAQVAARscAgMMBgULDQkWDwkDAgECARERAQUBHBMIAQGHbAEDDwQInACMUYMHhBAKGScNZIh4AQUMj2IWhAgDkCaBL4YmgS+FAYlbQYRO X-IronPort-AV: E=Sophos;i="4.90,933,1371074400"; d="asc'?scan'208";a="27326953" Received: from mail-wi0-f171.google.com ([209.85.212.171]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Sep 2013 01:38:02 +0200 Received: by mail-wi0-f171.google.com with SMTP id hm2so7183265wib.4 for ; Wed, 18 Sep 2013 16:38:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:content-type; bh=21wz+Uq+gqo82PKSbuojszQZA6erSY3fKFuoqVG/6Jc=; b=QsBhvPVTh2GxiEdhXENpCruHTDqdRhbuxCwV1rQW/v+dubktupqMFJ0qT1NarCB4zf Wf2g8owr84HBPC/0ZKUCaP8jIbRXkj+46fgEpCfAhKjEXXSH1lQ7LXciwgXP40UJV2td wo+BaYxHHYv3zwFSLwbY2d9n4hxfx7dEn8YVXFvpQbywLhStLNluFr/MltZhqEV5rgQ1 fXCyG+ErrnOLw+NYgybNmQhqLuVmnO6LpCC4zLW5wuiLgaQ1m7+K+4F6ZXfQTw8HaOFO tSlEo6SSt55RZ6ANhWnbm07RY0G7kJ+opwmDQjNdWL2mkvVKe4VL9uW7P4IpnzPLPPES TPWw== X-Received: by 10.194.77.167 with SMTP id t7mr34098772wjw.27.1379547482386; Wed, 18 Sep 2013 16:38:02 -0700 (PDT) Received: from [192.168.1.111] (smh.braud-santoni.eu. [82.67.64.45]) by mx.google.com with ESMTPSA id li9sm5706578wic.4.1969.12.31.16.00.00 (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 18 Sep 2013 16:38:01 -0700 (PDT) Message-ID: <523A3951.2030601@gmail.com> Date: Thu, 19 Sep 2013 01:37:53 +0200 From: Nicolas Braud-Santoni User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130904 Thunderbird/17.0.8 MIME-Version: 1.0 To: caml-list@inria.fr References: <9994E196-90F5-4396-A31D-E1C60822DED1@inria.fr> <5231CFA4.7070401@inria.fr> <20130913092246.GA15025@annexia.org> <5232F3D2.60402@rhul.ac.uk> In-Reply-To: <5232F3D2.60402@rhul.ac.uk> X-Enigmail-Version: 1.5.2 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="GV0fuI3lvWXePahTphiNw7JoGQlXQwn6V" Subject: Re: [Caml-list] OCaml release 4.01.0 This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --GV0fuI3lvWXePahTphiNw7JoGQlXQwn6V Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable On 13/09/2013 13:15, Pierre-Malo Deni=E9lou wrote: >>> Is this available anywhere else than from the source code? >> >> Fedora 21, from this weekend. > > Mageia Cauldron, from yesterday. > Exherbo [1] since tonight [2]. [1] http://exherbo.org/ [2] https://github.com/nbraud/nicoo_exherbo/commit/24037f640154b8352a5dac7359d7= b94dd3451f64 --GV0fuI3lvWXePahTphiNw7JoGQlXQwn6V Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.21 (GNU/Linux) iQIcBAEBAgAGBQJSOjlXAAoJEPv4tP2UoeSesloP/iJZNzAkIh+JCjV4ImDe8Bvt eOhvG3YjizwTr0oHWHaUwbAK9FJfjxlXME0Q6dR14SspRfHg7Iq1U8Kgosxxuub1 rLiXSBI4dCmTlXgm/4RxC4wIzFO6lzTaF1/HlVaUgbUjR6vPqacE3M/368cJaZ6b 02OISh+9IOjkMZZG0IqDsjNOxTw7NViwOK/EkyvsnURL/oC0dy35pM5bLE45nORq ygxPffyqyFCdSg3CbFV1wWHTABID5uYMJMSJGrzX4/G4fAYERzAoy2Cn9JusHZ12 +RX5QGEIDkzgoN5ARCuNXjHqU+Xd5eNZmUyNC8X5MU6iRIWYCkyLXEIi9XitmOIF UYRV5h+TMDd/MlV7AsTK9Rzp335qzDtBEj+Mw80nnf/Fj5jUllnXA3FptDmS1mpt LZ6AujePqjX684nVLZUZCrfM/wu4/JqgD5TAN2TpMAog+S3bh+Ky/KxXwiHMrEIP 38yYZ1ih2R/0mC6/zLv1DhxpAgoth67o+zUjtGLpEMHrIOXtArG4ekEqdAH3bD6e R6mt0bqSpW1S0WyD2MmXQqYmYsDBnoWgzySQELjvYJefOy2S6xLSncbJoYR0G5RH Ery1oOIWw++OzA632ExcTJ4n0+buP17JHCcsWXpQuGXcFLbIbUSB1aj/bs0ABKEq w/ujsXEMLLdW788BT9dR =q2xo -----END PGP SIGNATURE----- --GV0fuI3lvWXePahTphiNw7JoGQlXQwn6V--