From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <N.Ojeda.Bar@dpmms.cam.ac.uk>
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 F2FD37ED25
	for <caml-list@sympa.inria.fr>; Fri, 12 Jul 2013 21:59:27 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  N.Ojeda.Bar@dpmms.cam.ac.uk) identity=pra;
  client-ip=131.111.24.3;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="N.Ojeda.Bar@dpmms.cam.ac.uk";
  x-sender="N.Ojeda.Bar@dpmms.cam.ac.uk";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  N.Ojeda.Bar@dpmms.cam.ac.uk designates 131.111.24.3 as
  permitted sender) identity=mailfrom; client-ip=131.111.24.3;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="N.Ojeda.Bar@dpmms.cam.ac.uk";
  x-sender="N.Ojeda.Bar@dpmms.cam.ac.uk";
  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.dpmms.cam.ac.uk) identity=helo;
  client-ip=131.111.24.3;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="N.Ojeda.Bar@dpmms.cam.ac.uk";
  x-sender="postmaster@mail.dpmms.cam.ac.uk";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApwBAOZe4FGDbxgDjWdsb2JhbABaxVQEBIENFg4BAQEBCRYHGSOCJT+KHwSWbZg9iAePfoJ1bAOXXJRg
X-IPAS-Result: ApwBAOZe4FGDbxgDjWdsb2JhbABaxVQEBIENFg4BAQEBCRYHGSOCJT+KHwSWbZg9iAePfoJ1bAOXXJRg
X-IronPort-AV: E=Sophos;i="4.89,655,1367964000"; 
   d="scan'208";a="21040220"
Received: from mail.dpmms.cam.ac.uk ([131.111.24.3])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 12 Jul 2013 21:59:27 +0200
Received: from cpc7-cmbg14-2-0-cust112.5-4.cable.virginmedia.com ([86.30.244.113]:53211 helo=[192.168.0.3])
	by mail.dpmms.cam.ac.uk with esmtpsa (TLSv1:AES128-SHA:128)
	(Exim 4.80.1)
	(envelope-from <N.Ojeda.Bar@dpmms.cam.ac.uk>)
	id 1UxjV0-0002Ls-FL
	for caml-list@yquem.inria.fr; Fri, 12 Jul 2013 20:59:26 +0100
From: Nicolas Ojeda Bar <N.Ojeda.Bar@dpmms.cam.ac.uk>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-Id: <C8C9C2E7-7C3D-4990-952B-D8E594AAEFF7@dpmms.cam.ac.uk>
Date: Fri, 12 Jul 2013 20:59:20 +0100
To: caml-list@yquem.inria.fr
Mime-Version: 1.0 (Mac OS X Mail 6.5 \(1508\))
X-Mailer: Apple Mail (2.1508)
X-ACL-Warn: checking mime attachment  
X-DPMMS-Spam-Score: -1.0 (-)
X-DPMMS-Spam-Report: score -1.0 from SpamAssassin-3.3.1
 -1.0 ALL_TRUSTED            Passed through trusted hosts only via SMTP
X-Validation-by: n.ojeda.bar@dpmms.cam.ac.uk
Subject: [Caml-list] sources for ZINC?

Dear list,

I was wondering if the sources for ZINC, described in X. Leroy's thesis
are available anywhere...?

Thanks!
Nicolas