Processing commands for [EMAIL PROTECTED]: > severity 233891 important Bug#233891: acl2_2.7-9(hppa/unstable): FTBFS: dies build docs?? Severity set to `important'.
> retitle 233891 [hppa] maxima/acl2 failures at -O1/-O2, -O0 ok Bug#233891: acl2_2.7-9(hppa/unstable): FTBFS: dies build docs?? Changed Bug title. > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)
