Package: acl2 Version: 7.1dfsg-2 Severity: important Hi,
acl2 FTBFS on kfreebsd-amd64: https://buildd.debian.org/status/fetch.php?pkg=acl2&arch=kfreebsd-amd64&ver=7.1dfsg-2&stamp=1446098344 The log seems to be truncated, I didn't find the actual failure. Andreas
