Raspbian Package Auto-Building

Build logs for agda_2.4.0.2-2 on armhf

Package:

Debian PTSTrackerChangelogBugspackages.d.obuildd.d.o

Build logs for agda_2.4.0.2-2 [X] on armhf [X] in jessie-staging [X]

Version Architecture Result Build date Builder Build time Disk space
2.4.0.2-2 (jessie-staging) Buildd exposure stats armhf Maybe-Failed 2017-04-15 20:30:18 bm-wb-02
Maybe-Failed 2017-04-15 19:35:26 testbuildd
Maybe-Failed 2016-06-10 22:23:05 testbuildd
Maybe-Failed 2014-11-15 15:37:30 bm-wb-04