Re: Accepted ocaml 3.08.0-1 (powerpc all source)
On Wed, Jul 21, 2004 at 08:38:25PM +0200, Samuel Mimram wrote:
> On Wed, 21 Jul 2004 20:06:22 +0200 Sven Luther <sven.luther@wanadoo.fr>
> wrote:
>
> > On Wed, Jul 21, 2004 at 08:03:20PM +0200, Samuel Mimram wrote:
> > > On Wed, 21 Jul 2004 18:33:08 +0200 Sven Luther
> > > <sven.luther@wanadoo.fr> wrote:
> > >
> > > > On Wed, Jul 21, 2004 at 05:56:21PM +0200, Sven Luther wrote:
> > > > > > BTW did you add the cmx required to compile COQ?
> > > > > > (having had quick look at the svn, I don't think so but I
> > > > > > might be wrong).
> > > > >
> > > > > Damn, i forgot, Will go in 3.08.0-2 then.
> > > >
> > > > Ok, please can you do a SVN checkout, build ocaml there, and try
> > > > to build coq with it. I will not have time to make an upload today
> > > > still, and need to check some other patches that were removed,
> > > > like the objinfo one which i need to readd, and the hppa one which
> > > > i believe can go away, but i need to check.
> > >
> > > Thank you.
> > >
> > > I have committed a package of COQ which does compile with OCaml
> > > 3.08. You can wait a few days or if you want before making the
> > > upload of the 3.08-2 since upstream told me that the new archive of
> > > COQ I've got should be still considered as experimental and they
> > > needed to do some more tests on it. Therefore we cannot upload it
> > > right now anyway.
> >
> > What about an upload to experimental ASAP ?
>
> Yes, I think we should do that
> (I also uploaded the not-yet-official COQ archive on the svn).
Ok, please do then, that would be great.
Thanks,
Friendly,
Sven Luther
Reply to: