Raspbian Package Auto-Building

Build logs for agda_2.5.1-2

Package:

Debian PTSTrackerChangelogBugspackages.d.obuildd.d.o

Build logs for agda_2.5.1-2 [X] in stretch-staging [X]

Version Architecture Result Build date Builder Build time Disk space
2.5.1-2 (stretch-staging) Buildd exposure stats armhf Maybe-Failed 2016-07-17 10:16:29 bm-wb-02 1d 17h 38m 194.38 MB