From: Aleksey Nogin <nogin@cs.caltech.edu>
To: caml users <caml-list@inria.fr>
Cc: Damien Doligez <damien.doligez@inria.fr>
Subject: Re: [Caml-list] 3.09.3 release candidate 2
Date: Tue, 12 Sep 2006 19:48:08 -0700 [thread overview]
Message-ID: <45077168.5070408@cs.caltech.edu> (raw)
In-Reply-To: <4E2C1762-63F0-4540-8639-056C1C86528A@inria.fr>
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
next prev parent reply other threads:[~2006-09-13 2:48 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-08-30 11:21 3.09.3 release candidate 1 Damien Doligez
2006-08-30 12:18 ` [Caml-list] " Olivier Andrieu
2006-08-30 12:45 ` skaller
2006-08-30 13:06 ` Olivier Andrieu
2006-09-02 9:53 ` Jean-Marie Gaillourdet
2006-09-04 11:42 ` Damien Doligez
2006-09-08 14:47 ` 3.09.3 release candidate 2 Damien Doligez
2006-09-13 2:48 ` Aleksey Nogin [this message]
2006-09-13 13:30 ` [Caml-list] " Hendrik Tews
2006-09-13 15:05 ` Nicolas Pouillard
2006-09-13 15:32 ` skaller
2006-09-13 15:55 ` Hendrik Tews
2006-09-13 16:17 ` Nicolas Pouillard
2006-09-13 16:47 ` Chris King
2006-09-14 0:05 ` [Caml-list] " Jacques Garrigue
2006-09-14 7:48 ` [Caml-list] " Hendrik Tews
2006-09-13 16:35 ` skaller
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=45077168.5070408@cs.caltech.edu \
--to=nogin@cs.caltech.edu \
--cc=caml-list@inria.fr \
--cc=damien.doligez@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).