Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o
Build logs for agda_2.6.2.2-1.1 [X] in bookworm-staging [X]
| Version | Architecture | Result | Build date | Builder | Build time | Disk space |
|---|---|---|---|---|---|---|
| 2.6.2.2-1.1 (bookworm-staging) |  armhf |
Maybe-Failed | 2023-05-22 22:32:40 | bm-wb-03 | — | — |
| Maybe-Failed | 2023-04-04 02:43:31 | mb-lxc-01 | 1d 16h 52m | 1.29 GB | ||
| Maybe-Failed | 2023-03-17 22:58:47 | bm-wb-04 | 1d 18h 33m | — |