package: acl2
severity: serious
version: 6.3-6

Hi,

It looks like a large number of acl2 builds where uploaded manually, because
they don't build on buildds. This is the case for mips and mipsel but also for
some other architectures. Packages should build on buildds. If they don't,
this is a release-critical bug, making the package unsuitable for release.

Please ask for the removal of the acl2 binaries on architectures where it
doesn't build on buildds.

On a related note: if a package keeps failing after wasting more than 2 days
of buildd time, please ask for it to be blacklisted on the that buildd/arch.

Cheers,

Ivo


-- 
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to