Source: acl2 Version: 6.4-4 Severity: serious Tags: jessie sid User: debian...@lists.debian.org Usertags: qa-ftbfs-20140628 qa-ftbfs Justification: FTBFS on amd64
Hi, During a rebuild of all packages in sid, your package failed to build on amd64. Relevant part (hopefully): > make[2]: Entering directory '/«PKGBUILDDIR»' > ACL2_WD is /«PKGBUILDDIR» > if [ -f saved_acl2 ]; then \ > chmod 775 saved_acl2 ;\ > fi > make[2]: Leaving directory '/«PKGBUILDDIR»' > make[1]: Leaving directory '/«PKGBUILDDIR»' > mv *saved_acl2.gcl saved_acl2 > HOME=$(pwd) /usr/bin/make mini-proveall > make[1]: Entering directory '/«PKGBUILDDIR»' > ACL2_WD is /«PKGBUILDDIR» > make[1]: *** [mini-proveall] Error 255 The full build log is available from: http://aws-logs.debian.net/ftbfs-logs/2014/06/28/acl2_6.4-4_unstable.log A list of current common problems and possible solutions is available at http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute! About the archive rebuild: The rebuild was done on EC2 VM instances from Amazon Web Services, using a clean, minimal and up-to-date chroot. Every failed build was retried once to eliminate random failures. -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
