Raspbian Package Auto-Building

Build logs for agda_2.5.3-5 on armhf

Package:

Debian PTSTrackerChangelogBugspackages.d.obuildd.d.o

Build logs for agda_2.5.3-5 [X] on armhf [X]

Version Architecture Result Build date Builder Build time Disk space
2.5.3-5 (buster-staging) Buildd exposure stats armhf Maybe-Failed 2018-10-10 20:49:19 mb-lxc-01 2h 37m 208 MB
Maybe-Failed 2018-07-07 17:08:57 bm-wb-03 23h 20m