Source: hol88 Version: 2.02.19940316-10 Severity: important User: [email protected] Usertags: hppa
Hi, your package no longer builds on hppa: | =============================================================================== | HOL88 Version 2.02 (GCL), built on 26/9/10 | =============================================================================== | | #HOL installed (`/usr/share/hol88-2.02.19940316`) | () : void | | #GCL (GNU Common Lisp) 2.6.7 CLtL1 Sep 24 2010 22:05:47 | Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) | Binary License: GPL due to GPL'ed components: (XGCL READLINE UNEXEC) | Modifications of this banner must retain notice of a compatible license | Dedicated to the memory of W. Schelter | | Use (help) to get some basic information on how to use GCL. | Temporary directory for compiler files set to /tmp/ | | HOL-LCF version 2.02 (GCL) created 26/9/10 | | #HOL installed (`/usr/share/hol88-2.02.19940316`) | () : void | | /bin/sh: ././raw_hol_map: Permission denied | make: *** [build-arch-stamp] Error 126 Full build logs: https://buildd.debian.org/status/package.php?p=hol88 Mraw, KiBi. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
