Raspbian Package Auto-Building

Build logs for agda_2.4.2.2-2 on armhf

Package:

Debian PTSTrackerChangelogBugspackages.d.obuildd.d.o

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

Version Architecture Result Build date Builder Build time Disk space
2.4.2.2-2 (stretch-staging) Buildd exposure stats armhf Maybe-Failed 2015-07-11 07:31:31 bm-wb-01 1d 21h 39m 159.92 MB