Google Groups Home
Help | Sign in
Message from discussion 3.09.3 release candidate 1
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
Jean-Marie Gaillourdet  
View profile
 More options Sep 2 2006, 5:54 am
Newsgroups: fa.caml
From: Jean-Marie Gaillourdet <j...@gaillourdet.net>
Date: Sat, 02 Sep 2006 09:54:48 UTC
Local: Sat, Sep 2 2006 5:54 am
Subject: Re: [Caml-list] 3.09.3 release candidate 1
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hello,

On 30.08.2006, at 13:21, Damien Doligez wrote:

> Hello,

> We have a release candidate for 3.09.3.  It is available from the CVS
> repository < http://camlcvs.inria.fr/cvsserver-eng.html > under the
> tag "ocaml3093rc1".

> We would appreciate the help of any user who wants to test this
> version and report any problem encountered (as usual, through the
> BTS: < http://caml.inria.fr/mantis/main_page.php >).

> It will become a full release in one or two weeks unless some serious
> bug is reported in the meantime.

I do use OCaml on MacOS X on x86 architecture. There were simple  
posted on this mailing list that enable shared library and gprof  
support. Why aren't they in that release candidate? They worked fine  
for me in the past.

Best regards,
   Jean-Marie

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (Darwin)

iD8DBQFE+VSNNIUNP/I5YOgRAkETAJ9ly+e2JAJy9cgmWwjFaD73hpermQCgyMUa
hFzl7qJNQOMwQnr5RZR+BlM=
=Wrkl
-----END PGP SIGNATURE-----

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs


    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2008 Google