From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA28772 for caml-redist; Wed, 26 Apr 2000 15:38:10 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA10425; Wed, 26 Apr 2000 11:56:00 +0200 (MET DST) Received: from uni-sb.de (uni-sb.de [134.96.252.33]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id LAA09471; Wed, 26 Apr 2000 11:55:56 +0200 (MET DST) Received: from cs.uni-sb.de (cs.uni-sb.de [134.96.252.31]) by uni-sb.de (8.10.1/2000040900) with ESMTP id LAA17656; Wed, 26 Apr 2000 11:55:55 +0200 (CEST) Received: from grizzly.ps.uni-sb.de (grizzly.ps.uni-sb.de [134.96.186.68]) by cs.uni-sb.de (8.10.1/2000040900) with ESMTP id LAA23691; Wed, 26 Apr 2000 11:55:53 +0200 (CEST) Received: from ps.uni-sb.de (IDENT:rossberg@grieg.ps.uni-sb.de [134.96.186.139]) by grizzly.ps.uni-sb.de (8.9.1a/8.9.1) with ESMTP id LAA11949; Wed, 26 Apr 2000 11:55:53 +0200 Sender: weis Message-ID: <3906BD29.713679BA@ps.uni-sb.de> Date: Wed, 26 Apr 2000 11:55:53 +0200 From: Andreas Rossberg Organization: =?iso-8859-1?Q?Universit=E4t?= des Saarlandes X-Mailer: Mozilla 4.72 [en] (X11; U; Linux 2.2.12-20 i686) X-Accept-Language: de, en MIME-Version: 1.0 To: Xavier Leroy CC: caml-list@pauillac.inria.fr Subject: Re: Objective Caml 3.00 released References: <20000425152615.25958@pauillac.inria.fr> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Xavier Leroy wrote: > > Brought to you by the Easter bunny: Objective Caml version 3.00. Very nice indeed, but... The binary RPM package for RedHat 6.1 seems to be incomplete, the whole lib tree is missing - both compiler and interpreter complain about not finding pervasives.cmi. The RedHat 6.0 package is not accessible at all from the website. (I've not checked the other packages.) I'm really looking forward to trying out the fixed version, - Andreas