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 impossible to tell how. The changelog also makes no mention of an intentional fix for this bug. There is currently an unblock rule for acl2 3.3-1, but that was superceded by 3.4-1 before it could propagate to lenny. Perhaps 3.4-1 should be unblocked? I really don't know anything about this package so I cannot say whether the changes in 3.4-1 are worth having or are high or low risk. But I don't believe this bug can be fixed by a t-p-u upload since the changes probably cannot be isolated. Ben. -- Ben Hutchings Any smoothly functioning technology is indistinguishable from a rigged demo.
Description: This is a digitally signed message part