From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <info@gerd-stolpmann.de>
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 2A6997FA4D
	for <caml-list@sympa.inria.fr>; Fri,  1 Aug 2014 14:14:41 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  info@gerd-stolpmann.de) identity=pra;
  client-ip=212.227.126.187;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="info@gerd-stolpmann.de";
  x-sender="info@gerd-stolpmann.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  info@gerd-stolpmann.de) identity=mailfrom;
  client-ip=212.227.126.187;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="info@gerd-stolpmann.de";
  x-sender="info@gerd-stolpmann.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mout.kundenserver.de) identity=helo;
  client-ip=212.227.126.187;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="info@gerd-stolpmann.de";
  x-sender="postmaster@mout.kundenserver.de";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhwBAOGD21PU4367lGdsb2JhbABbg19XzAIKiFIWEAEBAQEHCwsJEiuEX4FiEwmIPQmiSqc0iWOIKA9EgUAFkTKMF4VIBZECagE
X-IPAS-Result: AhwBAOGD21PU4367lGdsb2JhbABbg19XzAIKiFIWEAEBAQEHCwsJEiuEX4FiEwmIPQmiSqc0iWOIKA9EgUAFkTKMF4VIBZECagE
X-IronPort-AV: E=Sophos;i="5.01,779,1400018400"; 
   d="asc'?scan'208";a="73599738"
Received: from mout.kundenserver.de ([212.227.126.187])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 01 Aug 2014 14:14:40 +0200
Received: from office1.lan.sumadev.de (dslb-088-069-148-188.088.069.pools.vodafone-ip.de [88.69.148.188])
	by mrelayeu.kundenserver.de (node=mreue001) with ESMTP (Nemesis)
	id 0LvcM8-1WPg6U3DrA-017VsH; Fri, 01 Aug 2014 14:14:38 +0200
Received: from [192.168.10.100] (ip-81-210-156-175.hsi17.unitymediagroup.de [81.210.156.175])
	by office1.lan.sumadev.de (Postfix) with ESMTPSA id 3CFAEDC270
	for <caml-list@inria.fr>; Fri,  1 Aug 2014 14:14:38 +0200 (CEST)
Message-ID: <1406895273.15398.5.camel@e130>
From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: caml-list <caml-list@inria.fr>
Date: Fri, 01 Aug 2014 14:14:33 +0200
Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature";
	boundary="=-WAeluidOtcK1pC6G63Ax"
X-Mailer: Evolution 3.10.4-0ubuntu1 
Mime-Version: 1.0
X-Provags-ID: V02:K0:9SxI1+yzSLDIaFh5DXvcok1V1R7e8IuK0I9d6HTjYXi
 8U17Yiark2CA6cWr0p5gtZ5FTxaw2PBl3BN5v5gAGdEcweA7H3
 IEjUTVPQKViIIIBRgWanmQ6E8nWylXNyeex6J36vIPsHmAsalu
 Eop8hZRZrwl/advi9fJwA92xKhvY1EVrRL5LnL6K5jijd7Su+Y
 kuo09+4aXYUaL39m3eF5KpQOb0NhUsf/yZZcTl5w9bhZ6ZlJYR
 /K1qIKEk66pn7Z7dcE9shudfTw31bq6PHs9qfe32eeX4d8ODI8
 AyS+nv8fH0om3mmR8dtNmu3TJ1RqJh+tIIbeA45fLOD89Mzk1l
 x0PzOdOLrmO3fg0eQ/C74SoWaiTT3DOrUPxbwfC6K
Subject: [Caml-list] [ANN] findlib-1.5.2


--=-WAeluidOtcK1pC6G63Ax
Content-Type: text/plain; charset="ISO-8859-15"
Content-Transfer-Encoding: quoted-printable

This version includes a few fixes concerning the -ppx option (e.g.
support it in the toploop).

More documentation and download:
http://projects.camlcity.org/projects/findlib.html

Gerd
--=20
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
My OCaml site:          http://www.camlcity.org
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------


--=-WAeluidOtcK1pC6G63Ax
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: This is a digitally signed message part
Content-Transfer-Encoding: 7bit

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQEcBAABAgAGBQJT24SpAAoJEAaM4b9ZLB5T/1gH/11CmZpo0+ATdkocPADi4rTg
NVvsLFM+fjQ7TR+6CECpuXOan7y5vCT2inzV7Lg52zkOKoAUwGoAGE1hnQmLVwo0
5SdM1MFDIJpKCM3dgbl0aX2tcGZ28nzlVz7t+X4jc2/BbP8b7XZXfPKnrqCeoQIU
mGtQ9/R6lOgAp8bBzcnubSTj/T2OLMVGDHNgkRM9yQXkRPckepPbg8vC5ywRHaXb
E/D55f1vcWbzreJ0T1gh/Aa8RwgQUzGOuJvC+xUJxfJqquXx9o1bAmME9aE98NK+
BcTLYkO6CBYq4RmuSgxwTnqv1C9tWQz2igF7qfCReAqL1gGvi/8CVXC3Zd5dBaM=
=htzs
-----END PGP SIGNATURE-----

--=-WAeluidOtcK1pC6G63Ax--