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 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.
The diff is *HUGE*, contacting the maintainer does not seem to help, so removal hint added. Cheers Luk -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
