Raspbian Package Auto-Building

Build logs for cbmc_5.4-3

Package:

Debian PTSTrackerChangelogBugspackages.d.obuildd.d.o

Build logs for cbmc_5.4-3 [X] in stretch-staging [X]

Version Architecture Result Build date Builder Build time Disk space
5.4-3 (stretch-staging) Buildd exposure stats armhf Maybe-Successful 2016-07-20 17:11:11 bm-wb-01 2h 39m 933.07 MB