Re: Maybe unblock acl2 3.4-1

Ben Hutchings wrote: > lenny currently has acl2 3.1-1, the same as etch. This seems to have a > bug (or else it triggers a compiler bug) that means rebuilding it in > lenny fails at self-test (#494328). > > This is fixed or otherwise avoided in 3.4-1, but as upstream has no bug > database or publ

Maybe unblock acl2 3.4-1

lenny currently has acl2 3.1-1, the same as etch. This seems to have a bug (or else it triggers a compiler bug) that means rebuilding it in lenny fails at self-test (#494328). This is fixed or otherwise avoided in 3.4-1, but as upstream has no bug database or public VCS it is practically impossib