Re: acl2_2.9.1-1
I'll take care of it on ARM.
On Mon, 2005-04-25 at 12:02 -0400, Camm Maguire wrote:
> Greetings! Please excuse the long cc list, but I've written about
> this several times already over the past few months with no response.
> The arm buildd is stuck in the 'building' state of acl2, and the sparc
> buildd has not uploaded the successfully built acl2. This situation
> has persisted since shortly after the last upload on 2/22/05. I would
> like 2.9.1-1 to propagate into testing before uploading 2.9.2-1, which
> is now ready, due to the long build time on slower machines. Please
> advise ASAP -- I'll hold the upload of 2.9.2 for a couple of days.
-Adam
--
GPG fingerprint: D54D 1AEE B11C CE9B A02B C5DD 526F 01E8 564E E4B6
Welcome to the best software in the world today cafe!
http://www.take6.com/albums/greatesthits.html
Reply to: