From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 6BA677ED26 for ; Fri, 8 Jun 2012 18:07:01 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkACAIYi0k/U4xEIk2dsb2JhbABFtFQiAQEBAQkJCwkUAySCWYFcNAmIBgeYEKETFI15gxkDjSeJCZFL X-IronPort-AV: E=Sophos;i="4.75,738,1330902000"; d="scan'208";a="161968074" Received: from moutng.kundenserver.de ([212.227.17.8]) by mail1-smtp-roc.national.inria.fr with ESMTP; 08 Jun 2012 18:07:01 +0200 Received: from office1.lan.sumadev.de (dslb-094-219-220-051.pools.arcor-ip.net [94.219.220.51]) by mrelayeu.kundenserver.de (node=mrbap1) with ESMTP (Nemesis) id 0Lpggw-1S08Ws3Axy-00eop5; Fri, 08 Jun 2012 18:06:57 +0200 Received: from samsung (dslb-178-004-231-235.pools.arcor-ip.net [178.4.231.235]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 66140C00D0 for ; Fri, 8 Jun 2012 18:06:56 +0200 (CEST) Date: Fri, 08 Jun 2012 18:06:56 +0200 From: Gerd Stolpmann To: caml-list@inria.fr X-Mailer: Balsa 2.4.11 Message-Id: <1339171616.3066.3@samsung> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii; DelSp=Yes; Format=Flowed Content-Disposition: inline Content-Transfer-Encoding: quoted-printable X-Provags-ID: V02:K0:QE/oQ3gFoi9o7XI1XXbfZLdUNQLtuLAbw7+u8wNQSa0 5jeUNR+ImtntVbzzZDZc1DLZSlFglkZvdWzakZiBsHTQl4muZM c44LWqxy4F9VFDrocCBymbFwtMaTJ+lzck0n62IF438Iu9x7fd X91JCKW5G00l6ccjLOcqdRYbQLqPZvdvT/NNWQejY7CtJHxhi1 XJi54W4iFUplqMPqfg302GOY3rjSOf08rs0ELsT8aIiaz9eTiA 2kwfn47EB33uGcce5u/edmYcbq7eF5NXl3G/HCP5Yv87sGMLiv lOtPBWmd3DWj0bJlXPJsFNUdf4yLnR4SaevN4jREoCHvDpwUuw +45/BzRcDu9P28sntVNE= Subject: [Caml-list] [ANN] findlib-1.3.2 with support for ocaml-4.00 Hi, I've just released findlib-1.3.2. The most interesting change is that=20=20 it works now for ocaml-4.00. For details, download, manual, etc, look at=20=20 http://projects.camlcity.org/projects/findlib.html. A complete list of=20= =20 changes can be found in README. Gerd --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de Creator of GODI and camlcity.org. Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------=