Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o
Build logs for cbmc on armhf [X] in trixie-staging [X]
| Version | Architecture | Result | Build date | Builder | Build time | Disk space |
|---|---|---|---|---|---|---|
| 5.95.1-4 (trixie-staging) |  armhf |
Maybe-Successful | 2024-02-26 12:19:58 | test2019 | 6h 11m | 7.26 GB |
| 5.89.0-2 (trixie-staging) | Maybe-Successful | 2023-10-01 14:22:28 | test2019 | 7h 7m | 7.46 GB |