Package: acl2 Version: 3.2-1 Severity: wishlist User: [EMAIL PROTECTED] Usertags: nostrip
Hello,
There was a problem while autobuilding your package with
DEB_BUILD_OPTIOSN=nostrip.
Final binaries are still stripped.
[...]
> dpkg-deb: building package `acl2-source' in `../acl2-source_3.2-1_all.deb'.
> dpkg-deb: building package `acl2-emacs' in `../acl2-emacs_3.2-1_all.deb'.
> dpkg-deb: building package `acl2-infix-source' in
> `../acl2-infix-source_3.2-1_all.deb'.
> dpkg-deb: building package `acl2-books-source' in
> `../acl2-books-source_3.2-1_all.deb'.
> dpkg-deb: building package `acl2-books-certs' in
> `../acl2-books-certs_3.2-1_all.deb'.
> dpkg-deb: building package `acl2-doc' in `../acl2-doc_3.2-1_all.deb'.
> dh_testdir
> dh_testroot
> dh_installdocs
> dh_installexamples
> dh_installmenu
> dh_installemacsen
> dh_installcron
> dh_installman
> dh_installinfo
> dh_installchangelogs
> dh_strip
> dh_link
> dh_compress
> dh_fixperms
> dh_installdeb
> dh_shlibdeps
> dh_gencontrol
> dpkg-gencontrol: warning: unknown substitution variable ${misc:Depends}
> dpkg-gencontrol: warning: unknown substitution variable ${shlibs:Depends}
> dpkg-gencontrol: warning: unknown substitution variable ${shlibs:Depends}
> dh_md5sums
> dh_builddeb
> dpkg-deb: building package `acl2' in `../acl2_3.2-1_i386.deb'.
> dpkg-deb: building package `acl2-infix' in `../acl2-infix_3.2-1_i386.deb'.
> dpkg-deb: building package `acl2-books' in `../acl2-books_3.2-1_i386.deb'.
> dpkg-genchanges
> dpkg-genchanges: including full source code in upload
> dpkg-buildpackage: full upload (original source is included)
> Copying back the cached apt archive contents
> -> unmounting dev/pts filesystem
> -> unmounting proc filesystem
> -> cleaning the build env
> -> removing directory /var/cache/pbuilder/build//14264 and its
> subdirectories
> Current time: Tue Aug 7 03:57:39 UTC 2007
> pbuilder-time-stamp: 1186459059
> Checking acl2-source_3.2-1_all.deb for stripped binaries...
> ---------------------------------------
> Checking acl2-emacs_3.2-1_all.deb for stripped binaries...
> ---------------------------------------
> Checking acl2-infix-source_3.2-1_all.deb for stripped binaries...
> ---------------------------------------
> Checking acl2-books-source_3.2-1_all.deb for stripped binaries...
> ---------------------------------------
> Checking acl2-books-certs_3.2-1_all.deb for stripped binaries...
> ---------------------------------------
> Checking acl2-doc_3.2-1_all.deb for stripped binaries...
> ---------------------------------------
> Checking acl2_3.2-1_i386.deb for stripped binaries...
> ---------------------------------------
> /tmp/acl2_3.2-1_i386.deb/usr/lib/acl2-3.2/saved_acl2: ELF 32-bit LSB
> executable, Intel 80386, version 1 (SYSV), for GNU/Linux 2.6.1, dynamically
> linked (uses shared libs), stripped
> Checking acl2-infix_3.2-1_i386.deb for stripped binaries...
> ---------------------------------------
> Checking acl2-books_3.2-1_i386.deb for stripped binaries...
> ---------------------------------------
>
> ...done
> Removing result files...
> ...done
--
Julien Danjou
.''`. Debian Developer
: :' : http://julien.danjou.info
`. `' http://people.debian.org/~acid
`- 9A0D 5FD9 EB42 22F6 8974 C95C A462 B51E C2FE E5CD
signature.asc
Description: Digital signature
