Raspbian Package Auto-Building

Build logs for agda_2.4.2.2-3 on armhf

Package:

Debian PTSTrackerChangelogBugspackages.d.obuildd.d.o

Build logs for agda_2.4.2.2-3 [X] on armhf [X]

Version Architecture Result Build date Builder Build time Disk space
2.4.2.2-3 (stretch-staging) Buildd exposure stats armhf Maybe-Failed 2015-07-27 01:36:58 bm-wb-03 1d 14h 48m 159.9 MB
Maybe-Failed 2015-07-15 00:44:07 bm-wb-01 10m 35.3 MB