Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
3.09.3 release candidate 1
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-09-13 (02:48)
From: Aleksey Nogin <nogin@c...>
Subject: Re: [Caml-list] 3.09.3 release candidate 2
On 08.09.2006 07:47, Damien Doligez wrote:

> We have decided to make a second release candidate for 3.09.3.
> The only changes between rc1 and rc2 are camlp4-related:
> - camlp4: install pa_o_fast.o PR#3812
> - camlp4: install more modules PR#3689
> We would appreciate if camlp4 users (and particularly Hendrik) could
> test this version and report any problems found with it.

I was able to compile the MetaPRL theorem prover and run the regression
test without any issues. I was using natively compiled MetaPRL that
links against the natively compiled camlp4.