Archives of the Caml mailing list > Message from Aleksey Nogin

Browse thread

3.09.3 release candidate 1

Damien Doligez
- Jean-Marie Gaillourdet
  - Damien Doligez
- Damien Doligez
  - Aleksey Nogin
  - Hendrik Tews
    - Nicolas Pouillard
      - skaller
        
        Hendrik Tews
        
        Nicolas Pouillard
        
        Chris King
        
        Jacques Garrigue
        
        Hendrik Tews
        
        skaller
- Olivier Andrieu
  - skaller
    - Olivier Andrieu

Date:	-- (:)
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.

Aleksey