Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o
Build logs for coq on armhf [X] in bookworm-staging [X]
| Version | Architecture | Result | Build date | Builder | Build time | Disk space |
|---|---|---|---|---|---|---|
| 8.16.1+dfsg-1+b2 (bookworm-staging) |  armhf |
Maybe-Successful | 2023-05-20 15:34:58 | testbuildd | 2h 30m | 2.55 GB |
| 8.16.1+dfsg-1+b1 (bookworm-staging) | Maybe-Successful | 2023-02-02 17:24:15 | testwandboard | 2h 38m | 2.55 GB | |
| 8.16.1+dfsg-1 (bookworm-staging) | Maybe-Successful | 2022-12-02 00:24:44 | testwandboard | 2h 32m | 2.55 GB | |
| 8.16.0+dfsg-1 (bookworm-staging) | Maybe-Successful | 2022-09-17 08:08:29 | mb-lxc-01 | 51m | 2.61 GB | |
| 8.15.2+dfsg-2 (bookworm-staging) | Maybe-Successful | 2022-07-10 08:48:58 | bm-wb-03 | 3h 4m | 2.36 GB | |
| 8.15.1+dfsg-1 (bookworm-staging) | Maybe-Successful | 2022-04-23 12:42:08 | mb-lxc-02 | 49m | 2.33 GB | |
| 8.15.0+dfsg-1+b1 (bookworm-staging) | Maybe-Successful | 2022-02-06 00:14:41 | test2019 | 1h 26m | 2.33 GB | |
| 8.15.0+dfsg-1 (bookworm-staging) | Maybe-Successful | 2022-02-03 06:30:50 | mb-lxc-02 | 43m | 2.39 GB | |
| 8.14.1+dfsg-1 (bookworm-staging) | Maybe-Successful | 2022-01-11 06:55:13 | test2019 | 1h 36m | 2.38 GB |