Source: acl2 Version: 7.2dfsg-2 Severity: serious Hi,
Your package failed to build on mips64el, as well as in some other (non-release) architectures. From the mips64el log: start address -T 0xc0c0f0 ;; Finished loading #p"boot-strap-pass-2.o" ;; Loading "defpkgs.lisp" [GC for 95 SYMBOL pages..(T=9).GC finished] [GC for 334 CONS pages..(T=10).GC finished] [GC for 344 CONS pages..(T=10).GC finished] [GC for 344 CONS pages..(T=10).GC finished] [GC for 344 CONS pages..(T=10).GC finished] ;; Finished loading "defpkgs.lisp" [GC for 74 SFUN pages..(T=10).GC finished] HARD ACL2 ERROR in ASSERT$: Assertion failed: (ASSERT$ (AND (TRUE-LISTP DIR) (EQ (CAR DIR) :ROOT)) (LET* ((MSWINDOWS-DRIVE (MSWINDOWS-DRIVE # STATE)) (TMP (IF MSWINDOWS-DRIVE # "/"))) (DOLIST (X DIR) (WHEN (STRINGP X) (SETQ TMP #))) (WHEN (STRINGP NAME) (SETQ TMP (CONCATENATE # TMP NAME))) (WHEN (STRINGP TYPE) (SETQ TMP (CONCATENATE # TMP "." TYPE))) (LET ((NAMESTRING-TMP #) (NAMESTRING-TRUENAME #)) (COND (# TMP) (# TMP) (T # #))))) (See :DOC set-iprint to be able to see elided values in this message.) ACL2 Error in ACL2-INTERFACE: Evaluation aborted. To debug see :DOC print-gv, see :DOC trace, and see :DOC wet. Error: Fast links are on: do (si::use-fast-links nil) for debugging Signalled by INITIALIZE-ACL2. Raw Lisp Break. SIMPLE-ERROR: ACL2 Halted Broken at APPLY. Type :H for Help. 1 Return to top level. ACL2>>make[2]: Entering directory '/«PKGBUILDDIR»' ACL2_WD is /«PKGBUILDDIR» Initialization FAILED: acl2-status.txt should contain :INITIALIZED. GNUmakefile:340: recipe for target 'check_init_ok' failed make[2]: *** [check_init_ok] Error 1 Full logs at https://buildd.debian.org/status/package.php?p=acl2 Emilio