Source: hol88 Version: 2.02.19940316-19 Severity: serious Tags: jessie sid User: [email protected] Usertags: qa-ftbfs-20140628 qa-ftbfs Justification: FTBFS on amd64
Hi, During a rebuild of all packages in sid, your package failed to build on amd64. Relevant part (hopefully): > =======> theory BASIC-HOL built > echo 'compilet `ml/genfns`;;'\ > 'quit();;'\ > | hol-lcf > > Error: #<compiled-closure 000000000100e880> is not of type SYMBOL. > Fast links are on: do (si::use-fast-links nil) for debugging > Error signalled by SYSTEM::GCL-TOP-LEVEL. > > Error: 3 is an illegal ihs index. > Fast links are on: do (si::use-fast-links nil) for debugging > Error signalled by SYSTEM:TOP-LEVEL. > Backtrace: > > Error: The tag (NIL) is undefined. > Fast links are on: do (si::use-fast-links nil) for debugging > Error signalled by SYSTEM:TOP-LEVEL. > Backtrace: > Error handler called recursively (:ERROR NIL SYSTEM:TOP-LEVEL "" > "The tag ~s is undefined." > (NIL)) > > > Aborted > > > Unrecoverable error: value stack overflow. > make[2]: *** [ml/genfns_ml.o] Error 134 The full build log is available from: http://aws-logs.debian.net/ftbfs-logs/2014/06/28/hol88_2.02.19940316-19_unstable.log A list of current common problems and possible solutions is available at http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute! About the archive rebuild: The rebuild was done on EC2 VM instances from Amazon Web Services, using a clean, minimal and up-to-date chroot. Every failed build was retried once to eliminate random failures. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
