Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o
Build logs for agda_2.4.2.2-4 [X] on armhf [X]
| Version | Architecture | Result | Build date | Builder | Build time | Disk space |
|---|---|---|---|---|---|---|
| 2.4.2.2-4 (stretch-staging) |  armhf |
Maybe-Failed | 2015-11-05 14:37:00 | bm-wb-02 | 1d 12h 46m | 159.93 MB |
| Maybe-Failed | 2015-10-17 09:10:50 | bm-wb-01 | 15h 2m | 159.93 MB | ||
| Maybe-Failed | 2015-10-05 18:11:00 | bm-wb-02 | 1d 15h 7m | 159.93 MB | ||
| Maybe-Failed | 2015-09-30 08:34:06 | bm-wb-02 | 1d 13h 18m | 159.93 MB | ||
| Maybe-Failed | 2015-09-24 23:47:28 | bm-wb-02 | 1d 9h 41m | 159.93 MB |