Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o
Build logs for agda_2.5.3-3 [X] in buster-staging [X]
| Version | Architecture | Result | Build date | Builder | Build time | Disk space |
|---|---|---|---|---|---|---|
| 2.5.3-3 (buster-staging) |  armhf |
Maybe-Successful | 2018-03-13 21:35:08 | mb-lxc-01 | 2h 35m | 1007.23 MB |
| Maybe-Failed | 2017-11-24 08:33:58 | testwandboard | 15h 14m | — |