Raspbian Package Auto-Building

Buildd status for acl2 (buster-staging)

Debian PTSTrackerChangelogBugspackages.d.obuildd.d.o

Package(s): Suite:
Compact mode Co-maintainers

Buildd exposure stats armhf  8.0dfsg-1Build-Attempted164d 4h 16mbm-wb-04out-of-datemath:sourceold | all (17)

Tail of log for acl2 on armhf:

Raw Lisp Break.
Condition in INITIALIZE-ACL2 [or a callee]: INTERNAL-SIMPLE-ERROR: Caught fatal error [memory may be damaged]

Broken at APPLY.  Type :H for Help.
    1  Return to top level. 
ACL2>>make[2]: Entering directory '/<<PKGBUILDDIR>>'
ACL2 is /<<PKGBUILDDIR>>/saved_acl2
Initialization FAILED: acl2-status.txt should contain :INITIALIZED.
make[2]: *** [GNUmakefile:363: check_init_ok] Error 1
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: *** [GNUmakefile:499: init] Error 2
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
make: *** [debian/rules:71: saved_acl2] Error 2