From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <agarwal1975@gmail.com>
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 037E97ED25
	for <caml-list@sympa.inria.fr>; Tue, 16 Jul 2013 21:55:16 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  agarwal1975@gmail.com) identity=pra;
  client-ip=209.85.223.171;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="agarwal1975@gmail.com";
  x-sender="agarwal1975@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  agarwal1975@gmail.com designates 209.85.223.171 as permitted
  sender) identity=mailfrom; client-ip=209.85.223.171;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="agarwal1975@gmail.com";
  x-sender="agarwal1975@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-ie0-f171.google.com) identity=helo;
  client-ip=209.85.223.171;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="agarwal1975@gmail.com";
  x-sender="postmaster@mail-ie0-f171.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApoBAHSk5VHRVd+rm2dsb2JhbABagzpPhCS1G4g9gQoIFg4BAQEBAQYLCwkUKIIaCgEFQAEbHQEDAQsGBQMBBzsiAREBBQEcBogQAQMPDJgSjE6Cf4RIChknDWSHdAEFDI9TB4N5A5dcgSmOPxYphFQg
X-IPAS-Result: ApoBAHSk5VHRVd+rm2dsb2JhbABagzpPhCS1G4g9gQoIFg4BAQEBAQYLCwkUKIIaCgEFQAEbHQEDAQsGBQMBBzsiAREBBQEcBogQAQMPDJgSjE6Cf4RIChknDWSHdAEFDI9TB4N5A5dcgSmOPxYphFQg
X-IronPort-AV: E=Sophos;i="4.89,679,1367964000"; 
   d="scan'208";a="21385142"
Received: from mail-ie0-f171.google.com ([209.85.223.171])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Jul 2013 21:55:09 +0200
Received: by mail-ie0-f171.google.com with SMTP id qd12so2492665ieb.30
        for <caml-list@yquem.inria.fr>; Tue, 16 Jul 2013 12:55:07 -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
         :cc:content-type;
        bh=hCyMCICr+X3ruBhLg+s0N4DA6DR3PoAENGsnWQg5vN8=;
        b=wIH5c8H+sKPiLtX0po/ah6nf3dU3FBnhUJ5qC+NUj7Pc6P3oSnCOaVAneNCrl12hh3
         /vOs97WPS9A+25SWXN10AR0pOq2oounDlgxqqdhjp0hyZyD9vAVHf29d+L4SwLIkf6V6
         a4MsTBxHiZueqTV2gypbKUO3AmoZzYj+KIBDDbs+yBtFdVNrTym/7xupuL5hchDTeMzZ
         GnggUhaXNuBWMgw5V02z6qSXsQKPbLH5OJSnuE5WS/QaHExgM1bnNVyMwN0HiCLMqrdG
         b70u52TtlDayIUMV7lETjICgo9vWfRg8J6Whwx6R7BNhxMdwTmsFuGchHr7ycAweTcOc
         VC9A==
X-Received: by 10.43.57.9 with SMTP id we9mr2674939icb.90.1374004507682; Tue,
 16 Jul 2013 12:55:07 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.64.9.46 with HTTP; Tue, 16 Jul 2013 12:54:47 -0700 (PDT)
In-Reply-To: <CFC5EB29-0BB2-4782-BC58-546FD45FB6C2@gmail.com>
References: <C8C9C2E7-7C3D-4990-952B-D8E594AAEFF7@dpmms.cam.ac.uk>
 <51E567AF.8000900@inria.fr> <CFC5EB29-0BB2-4782-BC58-546FD45FB6C2@gmail.com>
From: Ashish Agarwal <agarwal1975@gmail.com>
Date: Tue, 16 Jul 2013 15:54:47 -0400
Message-ID: <CAMu2m2+-+ZpYdbiA6D2Wo-hH0p_NZgSNGx7NE6KFetv7gL=dQw@mail.gmail.com>
To: Benedikt Meurer <benedikt.meurer@googlemail.com>
Cc: Nicolas Ojeda Bar <N.Ojeda.Bar@dpmms.cam.ac.uk>, caml-list@yquem.inria.fr
Content-Type: multipart/alternative; boundary=bcaec51b1b9f99af0404e1a65a97
Subject: Re: [Caml-list] sources for ZINC?


--bcaec51b1b9f99af0404e1a65a97
Content-Type: text/plain; charset=ISO-8859-1

>
> > http://caml.inria.fr/caml-light/release.html
>
> http://caml.inria.fr/caml-light/release.en.html


http://ocaml.org/caml-light/releases/   :)

--bcaec51b1b9f99af0404e1a65a97
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<div class=3D"gmail_quote"><blockquote class=3D"gmail_quote" style=3D"margi=
n:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class=3D"im"=
>&gt; <a href=3D"http://caml.inria.fr/caml-light/release.html" target=3D"_b=
lank">http://caml.inria.fr/caml-light/release.html</a><br>


<br>
</div><a href=3D"http://caml.inria.fr/caml-light/release.en.html" target=3D=
"_blank">http://caml.inria.fr/caml-light/release.en.html</a></blockquote><d=
iv><br></div><div><a href=3D"http://ocaml.org/caml-light/releases/">http://=
ocaml.org/caml-light/releases/</a> =A0 :)</div>

<div><br></div></div>

--bcaec51b1b9f99af0404e1a65a97--