Raspbian Package Auto-Building

Build logs for agda_2.5.4.1-3+b1

Package:

Debian PTSTrackerChangelogBugspackages.d.obuildd.d.o

Build logs for agda_2.5.4.1-3+b1 [X] in buster-staging [X]

Version Architecture Result Build date Builder Build time Disk space
2.5.4.1-3+b1 (buster-staging) Buildd exposure stats armhf Maybe-Failed 2019-01-19 15:15:55 bm-wb-02 4h 27m
Maybe-Failed 2019-01-04 03:45:11 bm-wb-03 3h 35m