Source: acl2 Version: 6.3-1 Severity: serious Justification: FTBFS Hi,
your package FTBFS on all archs: | make[2]: Leaving directory `/«PKGBUILDDIR»' | make[1]: Leaving directory `/«PKGBUILDDIR»' | mv *saved_acl2.gcl saved_acl2 | /usr/bin/make mini-proveall | make[1]: Entering directory `/«PKGBUILDDIR»' | Segmentation fault | make[1]: *** [mini-proveall] Error 139 mipsel additionally logs stuff about rlimit: | /usr/bin/make mini-proveall | make[1]: Entering directory `/«PKGBUILDDIR»' | Cannot set stack rlimit | /bin/sh: line 1: 20333 Done echo '(value :q) (lp) (mini-proveall)' | 20334 Segmentation fault | ./saved_acl2 > mini-proveall.out | make[1]: *** [mini-proveall] Error 139 Mraw, KiBi. -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
