From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA09317; Mon, 5 Mar 2001 11:52:03 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA09507 for caml-list@pauillac.inria.fr; Mon, 5 Mar 2001 11:52:02 +0100 (MET) 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 LAA08611 for ; Mon, 5 Mar 2001 11:09:54 +0100 (MET) Received: from orion.inrets.fr (orion.inrets.fr [137.121.1.1]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f25A9n905459 for ; Mon, 5 Mar 2001 11:09:49 +0100 (MET) Received: from deneb.inrets.fr by orion.inrets.fr (8.9.3/8.7.1); Mon, 5 Mar 2001 11:09:46 +0100 (MET) Received: from terre.inrets.fr by deneb.inrets.fr (8.7.6/8.7.6); Mon, 5 Mar 2001 11:09:46 +0100 (MET) Received: from inrets.fr (localhost [127.0.0.1]) by terre.inrets.fr (8.9.3/8.8.8) with ESMTP id LAA18977; Mon, 5 Mar 2001 11:09:44 +0100 (MET) Message-ID: <3AA365E7.B76B9EBC@inrets.fr> Date: Mon, 05 Mar 2001 11:09:43 +0100 From: Georges Mariano Organization: INRETS-ESTAS Villeneuve d'Ascq (FRANCE) X-Mailer: Mozilla 4.75 [en] (X11; U; Linux 2.2.17 i686) X-Accept-Language: en MIME-Version: 1.0 To: =?iso-8859-1?Q?S=E9bastien?= Pierre CC: caml-list@inria.fr Subject: Re: [Caml-list] OCaml distribution for BeOS References: <3aa241da3afd13f3@mahonia.wanadoo.fr> (added by mahonia.wanadoo.fr) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk http://caml.inria.fr/bin/caml-bugs/fixed?id=158;page=9;user=guest I faced this bug a long time ago and it seems to me that it was fixed... ...because it was quickly corrected by Xavier http://caml.inria.fr/bin/caml-bugs/fixed?id=158;page=9;user=guest May be, check out a new Ocaml release (from CVS ??) Cheers -- # Georges MARIANO tel: (33) 03 20 43 84 06 # INRETS, 20 rue Elisee Reclus fax: (33) 03 20 43 83 59 # 59650 Villeneuve d'Ascq mailto:georges.mariano@inrets.fr # FRANCE. # http://www3.inrets.fr/Public/ESTAS/Mariano.Georges/ # http://www3.inrets.fr/B-Bibliography/ ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr