Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o
Build logs for agda_2.5.2-2 [X]
| Version | Architecture | Result | Build date | Builder | Build time | Disk space |
|---|---|---|---|---|---|---|
| 2.5.2-2 (buster-staging) |  armhf |
Maybe-Failed | 2017-11-11 01:18:04 | bm-wb-04 | 1d 21h 57m | — |
| Maybe-Failed | 2017-10-27 14:06:59 | bm-wb-04 | 50m | — | ||
| Maybe-Failed | 2017-10-08 14:35:30 | mb-lxc-01 | 30m | 76.65 MB | ||
| Maybe-Failed | 2017-10-04 08:04:06 | testwandboard | 59m | — | ||
| Maybe-Failed | 2017-09-12 17:41:58 | testwandboard | 52m | — |