Raspbian Package Auto-Building

Buildd status for acl2 (buster-staging)

Debian PTSTrackerChangelogBugspackages.d.obuildd.d.o

Package(s): Suite:
Compact mode Co-maintainers

ArchitectureVersionStatusForBuilddStateMiscLogs
Buildd exposure stats armhf  8.0dfsg-1Build-Attempted1759d 23h 36mbm-wb-04out-of-datemath:sourceold | all (18)

Tail of log for acl2 on armhf:

dh_compress
dh_fixperms
dh_installdeb
dh_shlibdeps
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/acl2/usr/lib/acl2-8.0dfsg/saved_acl2 was not linked against libopcodes-2.31.1-system.so (it uses none of the library's symbols)
dh_gencontrol
dh_md5sums
dh_builddeb
dpkg-deb: building package 'acl2-infix' in '../acl2-infix_8.0dfsg-1_armhf.deb'.
dpkg-deb: building package 'acl2-books' in '../acl2-books_8.0dfsg-1_armhf.deb'.
dpkg-deb: building package 'acl2' in '../acl2_8.0dfsg-1_armhf.deb'.
 dpkg-genbuildinfo --build=any
 dpkg-genchanges --build=any -mRaspbian wandboard test autobuilder <root@raspbian.org> >../acl2_8.0dfsg-1_armhf.changes
dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included)
 dpkg-source --after-build .