Package: src:acl2 Version: 8.0dfsg-1 Severity: serious Tags: sid buster acl2 ftbfs on armel, armhf, arm64 and ppc64el.
https://buildd.debian.org/status/fetch.php?pkg=acl2&arch=armel&ver=8.0dfsg-1&stamp=1515868416&raw=0 and checked that it ftbfs on plummer (ppc64el).
