Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o
Build logs for agda_2.6.0.1-1 [X] on armhf [X]
| Version | Architecture | Result | Build date | Builder | Build time | Disk space |
|---|---|---|---|---|---|---|
| 2.6.0.1-1 (bullseye-staging) |  armhf |
Maybe-Failed | 2020-05-24 11:09:29 | testwandboard | 23h 14m | — |
| Maybe-Failed | 2020-04-09 12:30:41 | mb-lxc-01 | 4h 36m | 219.3 MB | ||
| Maybe-Failed | 2020-02-26 04:04:53 | mb-lxc-01 | 4h 5m | 219.3 MB | ||
| Maybe-Failed | 2020-01-16 06:03:36 | bm-wb-04 | 14h 15m | — | ||
| Maybe-Failed | 2020-01-12 11:30:02 | bm-wb-01 | 17h 20m | — | ||
| Maybe-Failed | 2020-01-01 12:01:55 | testwandboard | 1d 3h | — | ||
| Maybe-Failed | 2019-11-27 23:37:35 | mb-lxc-01 | 4h 23m | 219.3 MB | ||
| Maybe-Failed | 2019-11-10 18:12:13 | mb-lxc-01 | 4h 16m | 219.3 MB | ||
| Maybe-Failed | 2019-11-08 19:09:13 | mb-lxc-01 | 4h 13m | 219.3 MB |