Source: acl2 Version: 4.1-2 Severity: serious Justification: FTBFS Hi,
your package no longer builds on mipsel: | touch debian/patches_applied | cat debian/dlopen.lisp.in | sed "s,@VR@,4.1,g" > debian/dlopen.lisp | echo '(progn (load "debian/sublis_patch.lsp")(si::save-system "pgcl"))' | gcl | | Unrecoverable error: Segmentation violation.. | Aborted | make: *** [saved_acl2] Error 134 Full build logs: https://buildd.debian.org/status/package.php?p=acl2 Mraw, KiBi. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

