[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gcl-devel] Re: acl2

From: Camm Maguire
Subject: [Gcl-devel] Re: acl2
Date: 16 Dec 2002 13:06:01 -0500

Greetings, and thanks to all!  All certifications completed without
error, certifying (to me) thereby that certain earlier GCL bugs have
been eliminated.

I've just received notice of an upstream bug fix patch.  I'm going to
try delaying its application until right before sarge is released.
And I'll keep in mind the need to wait for m68k to finish before
releasing new revisions in any case.

Take care,

Michael Schmitz <address@hidden> writes:

> > If you're going to build it once or twice a year, I think it's fine. I'm
> > willing to write off one of my boxes for a week or two to get it built,
> > especially if it helps make the code better for everyone.
> Build time on q650 was 115 hours. acl2_2.7-7 has finally been installed...
> For further builds: either do it manually, or don't upload another
> revision until after m68k has built and uploaded the latest (buildd
> refuses to upload packages known to be outdated).
>       Michael

Camm Maguire                                            address@hidden
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]