From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <p.donadeo@gmail.com>
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 7AAAF7F91C
	for <caml-list@sympa.inria.fr>; Tue, 24 May 2016 00:37:15 +0200 (CEST)
IronPort-PHdr: 9a23:Ov5NpR83IVNKq/9uRHKM819IXTAuvvDOBiVQ1KB91O4cTK2v8tzYMVDF4r011RmSDdSdsKMP0rSJ+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuSt+U1JX8jr7ts7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYk7sb+sVBSaT3ebgjBfwdVWx+cjN92Mq+kjLKSA/HwnoHTi1CmRNNB03B7Qrmdpb3qCrz8ORnjnq0J8rzGIg9XjClp4tsThbkhSBPYyZ//GbRg8B9i4pUpRugo1p0xIuCM9LdD+Z3Yq6IJYBSfmFGRMsEEnUZWo4=
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=p.donadeo@gmail.com; spf=Pass smtp.mailfrom=p.donadeo@gmail.com; spf=None smtp.helo=postmaster@mail-vk0-f46.google.com
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  p.donadeo@gmail.com) identity=pra; client-ip=209.85.213.46;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="p.donadeo@gmail.com";
  x-sender="p.donadeo@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  p.donadeo@gmail.com designates 209.85.213.46 as permitted
  sender) identity=mailfrom; client-ip=209.85.213.46;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="p.donadeo@gmail.com";
  x-sender="p.donadeo@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-vk0-f46.google.com) identity=helo;
  client-ip=209.85.213.46;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="p.donadeo@gmail.com";
  x-sender="postmaster@mail-vk0-f46.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0AhAQCihUNXei7VVdFchQoGrmaGHIR5AQ2Bd4YRAoEvBzgUAQEBAQEBAQERAQEJCwsJHzFBEgGBWYIMCgEBAwESER0BGx4DAQsGBQMBBzcCAiIBEQEFARwGEyKHcgEDDwikLYExPjGLO4FqglgFiBMKGScNUoNUAQEIAh0CBhCGF4RNh0CCWQEEmDeOIIFTAY1Ijg0SHoEPHgEBgjuBdjoygRCIQQEBAQ
X-IPAS-Result: A0AhAQCihUNXei7VVdFchQoGrmaGHIR5AQ2Bd4YRAoEvBzgUAQEBAQEBAQERAQEJCwsJHzFBEgGBWYIMCgEBAwESER0BGx4DAQsGBQMBBzcCAiIBEQEFARwGEyKHcgEDDwikLYExPjGLO4FqglgFiBMKGScNUoNUAQEIAh0CBhCGF4RNh0CCWQEEmDeOIIFTAY1Ijg0SHoEPHgEBgjuBdjoygRCIQQEBAQ
X-IronPort-AV: E=Sophos;i="5.26,357,1459807200"; 
   d="scan'208,217";a="219416483"
Received: from mail-vk0-f46.google.com ([209.85.213.46])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 24 May 2016 00:37:13 +0200
Received: by mail-vk0-f46.google.com with SMTP id y2so171200363vka.3
        for <caml-list@inria.fr>; Mon, 23 May 2016 15:37:13 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to;
        bh=Sm/eNaKfmPSLkHVWCjWoMANShaV41uGtCvOir8U4wxo=;
        b=ej8zAsRE1mB7+ksKAsZl/LHh/P+TxmnYyUGGLvjHWmFU7y/bdajCZkkkEy6jdKwhia
         nyw01zcpU8DiYXwLz6SZql631b1cRZ3Pg+k7kNKTQFhlKo2M0H3kFEYbSdxs9hdM1AJF
         MBGjVZAejlneQsFvbuoGwktgvPv60mKqwxPVfbClysVI3+JhZqZPqHBg1KQZYwBVV6A/
         ok58C9O8n9x4T/P5jMfmIfkj0JDVBg+R9n+0GrZFdy17niAorfj180YKHt6OxnMf7bdw
         zX4wOJxrez/BEcW/M3DePVEADDVR6u9tLQ/XcvgOZ624Ft/NkO0pWJQDc54rPNJy1Ii0
         suQg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:mime-version:in-reply-to:references:from:date
         :message-id:subject:to;
        bh=Sm/eNaKfmPSLkHVWCjWoMANShaV41uGtCvOir8U4wxo=;
        b=IKHEya1oq6Xa0O9k6POln7iQBItRFSnSQE/BiWsSUQyhue8ujeJwLv5OyPmzGN9+MO
         llDc2nlhVkm6OPsB/KlUcbAQek8inV5e+ZRKJoHNvcxsSUYcupIlAPSYGGpkTb/2AJGC
         gezShYbezjfPab5+4tTdEHLrm5SuXtsIZgmKUC4R5WsmwvyZBmawYG6vcrncPFY2IjC4
         VpNjhMyU+h8ad7SU624OZ9fp2aONGz+qtox+iLIpMIDwMl+GrMJ1S7aaG3mE2qr0b+tn
         hH2e3WdX1+xtBZzyg8oTxRCAUST9cwAAKIyGaeYwWk0mdSfhYxo5basE2dWUdp0W8WAe
         WBMg==
X-Gm-Message-State: ALyK8tIv/NeOLDhWSseLWWB6iRBImjD7pGaqLbkDq9DWeCYByLXnO/RPg6XMdkgN1r94qYMRp5ya5PvbUz4f9A==
X-Received: by 10.176.69.201 with SMTP id u67mr746650uau.131.1464043032527;
 Mon, 23 May 2016 15:37:12 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.176.0.73 with HTTP; Mon, 23 May 2016 15:36:33 -0700 (PDT)
In-Reply-To: <958923288A8E475CB578D73146F7FAFB@erratique.ch>
References: <958923288A8E475CB578D73146F7FAFB@erratique.ch>
From: Paolo Donadeo <p.donadeo@gmail.com>
Date: Tue, 24 May 2016 00:36:33 +0200
Message-ID: <CAPzAKVDHRAHaeYGyhTQ-oMGzBFGV-HRitri9KY_Jd=ZjpyUbzw@mail.gmail.com>
To: OCaml List <caml-list@inria.fr>
Content-Type: multipart/alternative; boundary=94eb2c11c008e3c96705338a1482
Subject: Re: [Caml-list] [ANN] Topkg 0.7.0

--94eb2c11c008e3c96705338a1482
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

On Mon, May 23, 2016 at 11:58 PM, Daniel B=C3=BCnzli <daniel.buenzli@errati=
que.ch
> wrote:

> Hello (last one today, promised),


I usually star your announcements :-)


--=20
*Paolo*

--94eb2c11c008e3c96705338a1482
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_extra"><div class=3D"gmail_quote">On M=
on, May 23, 2016 at 11:58 PM, Daniel B=C3=BCnzli <span dir=3D"ltr">&lt;<a h=
ref=3D"mailto:daniel.buenzli@erratique.ch" target=3D"_blank">daniel.buenzli=
@erratique.ch</a>&gt;</span> wrote:<br><blockquote class=3D"gmail_quote" st=
yle=3D"margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:sol=
id;border-left-color:rgb(204,204,204);padding-left:1ex">Hello (last one tod=
ay, promised),</blockquote></div><br>I usually star your announcements :-)<=
br><br clear=3D"all"><div><br></div>-- <br><div class=3D"gmail_signature"><=
div dir=3D"ltr"><i>Paolo</i><br></div></div>
</div></div>

--94eb2c11c008e3c96705338a1482--