Dear maintainer: During a rebuild of all packages in unstable, this package failed to build. Below you will find the last part of the build log (probably the most relevant part, but not necessarily). If required, the full build log is available here: https://people.debian.org/~sanvila/build-logs/202606/ About the archive rebuild: The build was made on virtual machines from AWS, using sbuild and a reduced chroot with only build-essential packages. If you cannot reproduce the bug please contact me privately, as I am willing to provide ssh access to a virtual machine where the bug is fully reproducible. If this is really a bug in one of the build-depends, please use reassign and add an affects on src:acl2, so that this is still visible in the BTS web page for this package. Thanks. -------------------------------------------------------------------------------- [...] debian/rules clean sed -e "s,^DIR = .*,DIR = $(pwd)/books/interface/infix,1" \ -e 's,"user","USER",g' -e 's,"sloop","SLOOP",g' \ -e "s,^LISP = .*,LISP = $(pwd)/saved_acl2,1" books/interface/infix/makefile > books/interface/infix/Makefile rm -f infix-stamp cd books/interface/infix && HOME=$(pwd) /usr/bin/make -f Makefile clean make[1]: Entering directory '/<<PKGBUILDDIR>>/books/interface/infix' rm -f /<<PKGBUILDDIR>>/books/interface/infix/*.otl /<<PKGBUILDDIR>>/books/interface/infix/*.err /<<PKGBUILDDIR>>/books/interface/infix/*.ps /<<PKGBUILDDIR>>/books/interface/infix/*.aux rm -f /<<PKGBUILDDIR>>/books/interface/infix/*.dvi /<<PKGBUILDDIR>>/books/interface/infix/*.aux /<<PKGBUILDDIR>>/books/interface/infix/*.log /<<PKGBUILDDIR>>/books/interface/infix/*.idx /<<PKGBUILDDIR>>/books/interface/infix/.log rm -f *~* *#* workxxx *.o *.tex *.nqtex TAGS *.dvi *.ps *.err *.aux *.log *.idx make[1]: Leaving directory '/<<PKGBUILDDIR>>/books/interface/infix' rm -f books/interface/infix/Makefile dh_testdir dh_testroot rm -f build-stamp [... snipped ...] SLOT-ACCESSOR-NAME::|CONDITIONS POSSIBILITIES slot WRITER| SLOT-ACCESSOR-NAME::|CONDITIONS FUNCTION-NAME slot WRITER| SLOT-ACCESSOR-NAME::|PCL PREDICATE-NAME slot READER| SLOT-ACCESSOR-NAME::|PCL PREDICATE-NAME slot WRITER| SLOT-ACCESSOR-NAME::|PCL ALLOCATION slot READER| SLOT-ACCESSOR-NAME::|PCL DECLARATIONS slot READER| SLOT-ACCESSOR-NAME::|PCL ALLOCATION slot WRITER| SLOT-ACCESSOR-NAME::|PCL DECLARATIONS slot WRITER| SLOT-ACCESSOR-NAME::|PCL SLOTS slot BOUNDP| SLOT-ACCESSOR-NAME::|PCL SOURCE slot READER| SLOT-ACCESSOR-NAME::|PCL CACHE slot READER| SLOT-ACCESSOR-NAME::|SYSTEM INCLUDED slot READER| SLOT-ACCESSOR-NAME::|SYSTEM INCLUDES slot READER| SLOT-ACCESSOR-NAME::|PCL SOURCE slot WRITER| SLOT-ACCESSOR-NAME::|PCL CACHE slot WRITER| SLOT-ACCESSOR-NAME::|SYSTEM INCLUDED slot WRITER| SLOT-ACCESSOR-NAME::|SYSTEM INCLUDES slot WRITER| SLOT-ACCESSOR-NAME::|SYSTEM PRINT-FUNCTION slot READER| SLOT-ACCESSOR-NAME::|COMPILER DT slot READER| SLOT-ACCESSOR-NAME::|COMPILER MT slot READER| SLOT-ACCESSOR-NAME::|COMPILER STORE slot READER| SLOT-ACCESSOR-NAME::|PCL METHODS slot BOUNDP| SLOT-ACCESSOR-NAME::|SYSTEM PRINT-FUNCTION slot WRITER| SLOT-ACCESSOR-NAME::|COMPILER DT slot WRITER| SLOT-ACCESSOR-NAME::|COMPILER MT slot WRITER| SLOT-ACCESSOR-NAME::|COMPILER STORE slot WRITER| SLOT-ACCESSOR-NAME::|PCL NAME slot READER| SLOT-ACCESSOR-NAME::|PCL DEFSTRUCT-ACCESSOR-SYMBOL slot READER| SLOT-ACCESSOR-NAME::|PCL DEFSTRUCT-FORM slot READER| SLOT-ACCESSOR-NAME::|PCL DEFSTRUCT-CONSTRUCTOR slot READER| SLOT-ACCESSOR-NAME::|PCL READER-FUNCTION slot READER| SLOT-ACCESSOR-NAME::|PCL NAME slot WRITER| SLOT-ACCESSOR-NAME::|PCL SPECIALIZERS slot READER| SLOT-ACCESSOR-NAME::|PCL DEFSTRUCT-ACCESSOR-SYMBOL slot WRITER| SLOT-ACCESSOR-NAME::|PCL DEFSTRUCT-FORM slot WRITER| SLOT-ACCESSOR-NAME::|PCL DEFSTRUCT-CONSTRUCTOR slot WRITER| SLOT-ACCESSOR-NAME::|PCL READER-FUNCTION slot WRITER| SLOT-ACCESSOR-NAME::|SYSTEM RAW slot READER| SLOT-ACCESSOR-NAME::|SYSTEM REF slot READER| SLOT-ACCESSOR-NAME::|ANSI-LOOP FLAG-VARIABLE slot READER| SLOT-ACCESSOR-NAME::|ANSI-LOOP FOR-KEYWORDS slot READER| SLOT-ACCESSOR-NAME::|PCL SPECIALIZERS slot WRITER| SLOT-ACCESSOR-NAME::|PCL LAMBDA-LIST slot READER| SLOT-ACCESSOR-NAME::|SYSTEM RAW slot WRITER| SLOT-ACCESSOR-NAME::|SYSTEM REF slot WRITER| SLOT-ACCESSOR-NAME::|ANSI-LOOP FLAG-VARIABLE slot WRITER| SLOT-ACCESSOR-NAME::|ANSI-LOOP FOR-KEYWORDS slot WRITER| SLOT-ACCESSOR-NAME::|COMPILER KIND slot READER| SLOT-ACCESSOR-NAME::|PCL LAMBDA-LIST slot WRITER| SLOT-ACCESSOR-NAME::|COMPILER KIND slot WRITER| SLOT-ACCESSOR-NAME::|SYSTEM OBJECT slot READER| SLOT-ACCESSOR-NAME::|SYSTEM OBJECT slot WRITER| SLOT-ACCESSOR-NAME::|ANSI-LOOP OPERATIONS slot READER| SLOT-ACCESSOR-NAME::|PCL ARG-INFO slot READER| SLOT-ACCESSOR-NAME::|PCL ARG-INFO-LAMBDA-LIST slot READER| SLOT-ACCESSOR-NAME::|PCL ARG-INFO-PRECEDENCE slot READER| SLOT-ACCESSOR-NAME::|PCL ARG-INFO-METATYPES slot READER| SLOT-ACCESSOR-NAME::|PCL ARG-INFO-NUMBER-OPTIONAL slot READER| SLOT-ACCESSOR-NAME::|PCL ARG-INFO-KEY/REST-P slot READER| SLOT-ACCESSOR-NAME::|PCL ARG-INFO-KEYWORDS slot READER| SLOT-ACCESSOR-NAME::|PCL GF-INFO-SIMPLE-ACCESSOR-TYPE slot READER| SLOT-ACCESSOR-NAME::|PCL GF-INFO-STATIC-C-A-M-EMF slot READER| SLOT-ACCESSOR-NAME::|PCL GF-INFO-C-A-M-EMF-STD-P slot READER| SLOT-ACCESSOR-NAME::|PCL GF-INFO-FAST-MF-P slot READER| SLOT-ACCESSOR-NAME::|ANSI-LOOP OPERATIONS slot WRITER| SLOT-ACCESSOR-NAME::|COMPILER SRC slot READER| SLOT-ACCESSOR-NAME::|PCL ARG-INFO slot WRITER| SLOT-ACCESSOR-NAME::|PCL ARG-INFO-LAMBDA-LIST slot WRITER| SLOT-ACCESSOR-NAME::|PCL ARG-INFO-PRECEDENCE slot WRITER| SLOT-ACCESSOR-NAME::|PCL ARG-INFO-METATYPES slot WRITER| SLOT-ACCESSOR-NAME::|PCL ARG-INFO-NUMBER-OPTIONAL slot WRITER| SLOT-ACCESSOR-NAME::|PCL ARG-INFO-KEY/REST-P slot WRITER| SLOT-ACCESSOR-NAME::|PCL ARG-INFO-KEYWORDS slot WRITER| SLOT-ACCESSOR-NAME::|PCL GF-INFO-SIMPLE-ACCESSOR-TYPE slot WRITER| SLOT-ACCESSOR-NAME::|PCL GF-INFO-STATIC-C-A-M-EMF slot WRITER| SLOT-ACCESSOR-NAME::|PCL GF-INFO-C-A-M-EMF-STD-P slot WRITER| SLOT-ACCESSOR-NAME::|PCL GF-INFO-FAST-MF-P slot WRITER| SLOT-ACCESSOR-NAME::|COMPILER SRC slot WRITER| SLOT-ACCESSOR-NAME::|PCL BOUNDP-FUNCTION slot BOUNDP| SLOT-ACCESSOR-NAME::|PCL OPTIONS slot READER| SLOT-ACCESSOR-NAME::|PCL OPTIONS slot WRITER| SLOT-ACCESSOR-NAME::|PCL READERS slot READER| SLOT-ACCESSOR-NAME::|ANSI-LOOP DTYPE slot READER| SLOT-ACCESSOR-NAME::|ANSI-LOOP DATA slot READER| SLOT-ACCESSOR-NAME::|PCL METHOD-CLASS slot READER| SLOT-ACCESSOR-NAME::|PCL MASK slot READER| SLOT-ACCESSOR-NAME::|PCL READERS slot WRITER| SLOT-ACCESSOR-NAME::|ANSI-LOOP DTYPE slot WRITER| SLOT-ACCESSOR-NAME::|ANSI-LOOP DATA slot WRITER| SLOT-ACCESSOR-NAME::|PCL METHOD-CLASS slot WRITER| SLOT-ACCESSOR-NAME::|PCL MASK slot WRITER| SLOT-ACCESSOR-NAME::|PCL WRAPPER slot READER| SLOT-ACCESSOR-NAME::|PCL OWNER slot READER| SLOT-ACCESSOR-NAME::|PCL WRAPPER0 slot READER| SLOT-ACCESSOR-NAME::|PCL WRAPPER1 slot READER| CONDITIONS::CASE-FAILURE-POSSIBILITIES CONDITIONS::CASE-FAILURE-NAME CONDITIONS::INTERNAL-CONDITION-FUNCTION-NAME ACL2::MAX-OUTPUT-TYPE-FOR-DECLARE-FORM DEFMETHOD DEFINE-METHOD-COMBINATION DESCRIBE SLOT-VALUE CLASS-OF MAKE-LOAD-FORM-SAVING-SLOTS ACL2::BACKQUOTE ENSURE-GENERIC-FUNCTION DEFCLASS SLOT-MAKUNBOUND ACL2::UNIX-FULL-PATHNAME [GC for 54 RELOCATABLE-BLOCKS pages..(T=4).GC finished] SLOT-BOUNDP DEFGENERIC SYMBOL-MACROLET ACL2::CONSTANT-BACKQUOTE-TERM-P ACL2::GLOBAL-SYMBOL Pass 1 signature discovery on 87 functions ...WALKER::WALK-PROG/PROG* WALKER::WALK-BINDINGS-1 WALKER::WALK-IF WALKER::WALK-DO/DO* WALKER::WALK-LAMBDA WALKER::WALK-COMPILER-LET WALKER::WALK-DECLARATIONS WALKER::WALK-SETQ WALKER::WALK-LET WALKER::WALK-MULTIPLE-VALUE-BIND WALKER::WALK-BINDINGS-2 WALKER::WALK-FORM-INTERNAL WALKER::WALK-SYMBOL-MACROLET WALKER::WALK-ARGLIST WALKER::WALK-LOCALLY WALKER::WALK-MACROLET WALKER::WALK-NAMED-LAMBDA ITERATE::OPTIMIZE-GATHERING-FORM ITERATE::WALK-GATHERING-BODY ITERATE::OPTIMIZE-ITERATE-FORM [GC for 152 CONS pages..(T=6).GC finished] WALKER:NESTED-WALK-FORM PCL::INSTANCE-BOUNDP PCL::METHOD-FUNCTION-FROM-FAST-FUNCTION PCL::PV-WRAPPERS-FROM-ALL-ARGS PCL::GET-NEW-FUNCTION-GENERATOR PCL::WALK-METHOD-LAMBDA PCL::COMPUTE-APPLICABLE-METHODS-USING-TYPES PCL::RAISE-METATYPE PCL::MAP-ALL-ORDERS PCL::GET-MAKE-INSTANCE-FUNCTION PCL::FIX-EARLY-GENERIC-FUNCTIONS PCL::INITIALIZE-INSTANCE-SIMPLE-FUNCTION PCL::INITIALIZE-METHOD-FUNCTION PCL::EMIT-IN-CHECKING-CACHE-P PCL::GET-MAKE-INSTANCE-FUNCTION-INTERNAL PCL::CHECK-WRAPPER-VALIDITY PCL::CACHE-MISS-VALUES PCL::EMIT-CHECKING-OR-CACHING-FUNCTION-PRELIMINARY PCL::CACHE-MISS-VALUES-INTERNAL PCL::|(FAST-METHOD UPDATE-INSTANCE-FOR-REDEFINED-CLASS (STANDARD-OBJECT T T T))| PCL::|(FAST-METHOD COMPUTE-SLOT-ACCESSOR-INFO (EFFECTIVE-SLOT-DEFINITION T T))| PCL::|(FAST-METHOD SHARED-INITIALIZE :AFTER (STRUCTURE-CLASS T))| [GC for 152 CONS pages..(T=8).GC finished] PCL::|(FAST-METHOD COMPUTE-EFFECTIVE-SLOT-DEFINITION-INITARGS (SLOT-CLASS T))| PCL::|(FAST-METHOD SHARED-INITIALIZE :AFTER (STANDARD-METHOD T))| PCL::|(FAST-METHOD SHARED-INITIALIZE :BEFORE (STANDARD-GENERIC-FUNCTION T))| PCL::MAKE-EARLY-GF PCL::COMPUTE-SECONDARY-DISPATCH-FUNCTION1 PCL::EMIT-ONE-OR-N-INDEX-READER/WRITER-MACRO PCL::ACCESSOR-MISS PCL::MAKE-CHECKING-DFUN PCL::CHECKING-MISS PCL::EMIT-ONE-CLASS-WRITER PCL::EMIT-ONE-CLASS-READER PCL::MAYBE-EXPAND-ACCESSOR-FORM PCL::PV-TABLE-LOOKUP PCL::MAKE-FINAL-CONSTANT-VALUE-DFUN PCL::MAKE-FINAL-CACHING-DFUN PCL::MAKE-FINAL-CHECKING-DFUN PCL::*SUBTYPEP PCL::MAKE-EFFECTIVE-METHOD-FUNCTION-INTERNAL PCL::AUGMENT-TYPE PCL::SDFUN-FOR-CACHING PCL::MAKE-SPECIALIZABLE PCL::MAKE-UNORDERED-METHODS-EMF PCL::REAL-REMOVE-METHOD PCL::GENERATING-LISP PCL::TYPE-CLASS PCL::INSTANCE-WRITE PCL::REDIRECT-EARLY-FUNCTION-INTERNAL PCL::GET-ACCESSOR-FROM-SVUC-METHOD-FUNCTION PCL::GENERATE-DISCRIMINATION-NET-INTERNAL [GC for 152 CONS pages..(T=8).GC finished] [GC for 152 CONS pages..(T=5).GC finished] [GC for 152 CONS pages..(T=5).GC finished] [GC for 152 CONS pages..(T=5).GC finished] [GC for 152 CONS pages..(T=6).GC finished] PCL::INSTANCE-READ PCL::EMIT-TWO-CLASS-WRITER PCL::EMIT-TWO-CLASS-READER PCL::MAKE-OPTIMIZED-STD-BOUNDP-METHOD-FUNCTION PCL::MAKE-OPTIMIZED-STD-WRITER-METHOD-FUNCTION PCL::MAKE-OPTIMIZED-STD-READER-METHOD-FUNCTION PCL::|(FAST-METHOD COMPUTE-CLASS-PRECEDENCE-LIST (SLOT-CLASS))| PCL::|(FAST-METHOD UPDATE-INSTANCE-FOR-DIFFERENT-CLASS (STANDARD-OBJECT STANDARD-OBJECT))| PCL::EMIT-CHECKING-OR-CACHING-MACRO PCL::EXPAND-SYMBOL-MACROLET-INTERNAL PCL::SLOT-UNBOUND-INTERNAL PCL::EMIT-DEFAULT-ONLY-MACRO PCL::EMIT-READER/WRITER-MACRO PCL::SPECIALIZER-APPLICABLE-USING-TYPE-P ACL2::BACKQUOTE ACL2::CONSTANT-BACKQUOTE-LST-P Pass 1 signature discovery on 29 functions ...WALKER::WALK-DO* WALKER::WALK-LABELS WALKER::WALK-FLET WALKER::WALK-PROG WALKER::WALK-PROG* WALKER::WALK-DO PCL::COMPUTE-APPLICABLE-METHODS-USING-TYPES PCL::COMPUTE-APPLICABLE-METHODS-EMF PCL::|(FAST-METHOD COMPUTE-APPLICABLE-METHODS (GENERIC-FUNCTION T))| PCL::|(FAST-METHOD COMPUTE-APPLICABLE-METHODS-USING-CLASSES (GENERIC-FUNCTION T))| PCL::EMIT-CHECKING-OR-CACHING PCL::EMIT-ONE-OR-N-INDEX-READER/WRITER PCL::ACCESSOR-MISS PCL::MAKE-FINAL-ACCESSOR-DFUN PCL::MAKE-FINAL-DFUN-INTERNAL PCL::GET-FUNCTION-GENERATOR PCL::*SUBTYPEP PCL::VALUE-FOR-CACHING PCL::ACCESSOR-VALUES1 PCL::COMPUTE-APPLICABLE-METHODS-FUNCTION PCL::GET-ACCESSOR-METHOD-FUNCTION PCL::GENERATE-DISCRIMINATION-NET-INTERNAL [GC for 60 RELOCATABLE-BLOCKS pages..(T=5).GC finished] [GC for 152 CONS pages..(T=5).GC finished] [GC for 152 CONS pages..(T=5).GC finished] [GC for 152 CONS pages..(T=5).GC finished] [GC for 152 CONS pages..(T=5).GC finished] PCL::BOOTSTRAP-MAKE-SLOT-DEFINITION PCL::SAUT-AND PCL::EMIT-DEFAULT-ONLY PCL::UPDATE-INITIALIZE-INFO-INTERNAL PCL::EMIT-READER/WRITER PCL::*TYPEP PCL::INITIAL-DFUN Pass 1 signature discovery on 19 functions ...PCL::EMIT-IN-CHECKING-CACHE-P PCL::MAKE-FINAL-DFUN PCL::|(FAST-METHOD UPDATE-GF-DFUN (STD-CLASS T))| PCL::EMIT-ONE-OR-N-INDEX-READER/WRITER-MACRO PCL::EMIT-CONSTANT-VALUE PCL::EMIT-ONE-CLASS-WRITER PCL::EMIT-ONE-CLASS-READER PCL::EMIT-CACHING PCL::EMIT-TWO-CLASS-WRITER PCL::EMIT-TWO-CLASS-READER PCL::EMIT-CHECKING-OR-CACHING-MACRO PCL::EMIT-CHECKING PCL::EMIT-N-N-WRITERS PCL::EMIT-ONE-INDEX-WRITERS PCL::EMIT-ONE-INDEX-READERS PCL::EMIT-N-N-READERS PCL::EMIT-DEFAULT-ONLY-MACRO PCL::EMIT-READER/WRITER-MACRO PCL::MAKE-INITIAL-DFUN Recompiling original source files ... "acl2-fns.lisp" [GC for 152 CONS pages..(T=6).GC finished] ERROR: See make.log. make[1]: *** [GNUmakefile:752: large] Error 1 make[1]: Leaving directory '/<<PKGBUILDDIR>>' mv *saved_acl2.gcl saved_acl2 mv: cannot stat '*saved_acl2.gcl': No such file or directory make: *** [debian/rules:86: saved_acl2] Error 1 dpkg-buildpackage: error: debian/rules binary subprocess failed with exit status 2 --------------------------------------------------------------------------------