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 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
Reply to: