From: Andreas Rossberg <rossberg@ps.uni-sb.de>
To: Xavier Leroy <Xavier.Leroy@inria.fr>
Cc: caml-list@pauillac.inria.fr
Subject: Re: Objective Caml 3.00 released
Date: Wed, 26 Apr 2000 11:55:53 +0200 [thread overview]
Message-ID: <3906BD29.713679BA@ps.uni-sb.de> (raw)
In-Reply-To: <20000425152615.25958@pauillac.inria.fr>
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
next prev parent reply other threads:[~2000-04-26 13:38 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-04-25 13:26 Xavier Leroy
2000-04-25 19:08 ` John Prevost
2000-04-26 7:00 ` Max Skaller
2000-04-27 8:17 ` what does "32-bit integer" mean? Xavier Leroy
2000-04-27 15:41 ` Paul A. Steckler
2000-04-28 2:07 ` John Max Skaller
2000-04-28 8:35 ` Xavier Leroy
2000-04-28 23:24 ` John Max Skaller
2000-04-26 9:55 ` Andreas Rossberg [this message]
2000-04-26 20:02 ` LablTk in Objective Caml 3.00 T. Kurt Bond
2000-04-28 0:22 ` Jacques Garrigue
2000-04-28 2:12 ` T. Kurt Bond
2000-04-26 21:35 ` Help: anyone knows what this error message means Friedman Roy
2000-04-27 13:39 ` Frank Atanassow
2000-04-27 17:01 ` Objective Caml 3.00 released Julian Assange
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=3906BD29.713679BA@ps.uni-sb.de \
--to=rossberg@ps.uni-sb.de \
--cc=Xavier.Leroy@inria.fr \
--cc=caml-list@pauillac.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).