From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA13411 for caml-redist; Thu, 27 Apr 2000 15:05:18 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id VAA31962 for ; Wed, 26 Apr 2000 21:36:57 +0200 (MET DST) Received: from beach.frankfurt.netsurf.de (beach.frankfurt.netsurf.de [194.64.181.2]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id VAA00099 for ; Wed, 26 Apr 2000 21:36:56 +0200 (MET DST) Received: from ice.darmstadt.netsurf.de (board-107.darmstadt.netsurf.de [194.163.86.235]) by beach.frankfurt.netsurf.de (8.8.5/8.8.5) with ESMTP id VAA29979 for ; Wed, 26 Apr 2000 21:36:54 +0200 (MET DST) Received: from localhost (localhost [[UNIX: localhost]]) by ice.darmstadt.netsurf.de (8.9.3/8.9.3) id VAA01041 for caml-list@inria.fr; Wed, 26 Apr 2000 21:36:49 +0200 From: Gerd Stolpmann Reply-To: gerd@gerd-stolpmann.de Organization: privat To: caml-list@inria.fr Subject: O'Caml 3-compatibility for my packages Date: Wed, 26 Apr 2000 21:23:11 +0200 X-Mailer: KMail [version 1.0.28] Content-Type: text/plain MIME-Version: 1.0 Message-Id: <00042621364801.10056@ice> Content-Transfer-Encoding: 8bit Sender: weis Hi, I've upgraded my software packages (if necessary) for O'Caml 3. There are new releases of: - findlib - equeue - dl - netclient The other packages do not need any changes (I am so glad). You can get them at: http://www.ocaml-programming.de/programming/download-caml.html I've also compiled an overwiew which packages need which O'Caml version. It is available at http://www.ocaml-programming.de/packages/compatibility.html At the first glance, O'Caml 3.00 makes a stable impression, at least regarding the "old features" that were already included in 2.04. I could compile everything, and the compiled programs worked. The O'Caml team did a good job! Gerd -- ---------------------------------------------------------------------------- Gerd Stolpmann Telefon: +49 6151 997705 (privat) Viktoriastr. 100 64293 Darmstadt EMail: gerd@gerd-stolpmann.de Germany ----------------------------------------------------------------------------