Raspbian Package Auto-Building

Build logs for agda_2.5.1.1-3 on armhf

Package:

Debian PTSTrackerChangelogBugspackages.d.obuildd.d.o

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

Version Architecture Result Build date Builder Build time Disk space
2.5.1.1-3 (stretch-staging) Buildd exposure stats armhf Maybe-Successful 2017-06-19 05:04:43 mb-lxc-01 2h 5m 927.05 MB
Maybe-Failed 2017-04-19 21:53:22 bm-wb-03 1d 54m
Maybe-Failed 2017-02-06 22:31:33 bm-wb-01 1d 3h 24m
Maybe-Failed 2016-12-08 21:33:04 testwandboard 1d 6h 44m