Bug#494328: 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 public

Bug#494328: 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