Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o
Build logs for agda_2.4.2.5-1 [X]
| Version | Architecture | Result | Build date | Builder | Build time | Disk space |
|---|---|---|---|---|---|---|
| 2.4.2.5-1 (stretch-staging) |  armhf |
Maybe-Failed | 2016-05-28 12:11:43 | bm-wb-03 | 21h 10m | 203.04 MB |
| Maybe-Failed | 2016-04-18 22:12:32 | bm-wb-01 | 1d 2h 7m | 203.05 MB | ||
| Maybe-Failed | 2016-02-26 11:03:31 | bm-wb-01 | 21h 48m | 203.05 MB |