Greetings! I've unfortunately missed the deadline for lenny with acl2. As you may recall, you found a ftbfs error with 3.3, which I addressed by uploading a 3.4, and which in turn was deemed too big a change for lenny. I've since been unable to reproduce the original build failure using the original 3.3 package. I suspect a newer gcl, which is in lenny. In any case, I'd like to prepare a 3.3 proposed updates for the next point release, or better a 3.4 if the release criteria would allow it. Essentially, it is just a resubmission of the 3.3 package which had been in testing. If the proposed update route is not viable, I'd like to setup an apt-getable website with lenny backports and refer the users there. Please advise.
Thanks so much for your contributions to Debian! -- Camm Maguire c...@maguirefamily.org ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
