Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o – Source
Build logs for cvc5 in bookworm-staging [X]
| Version | Architecture | Result | Build date | Builder | Build time | Disk space |
|---|---|---|---|---|---|---|
| 1.0.3-1 (bookworm-staging) |  armhf |
Maybe-Failed | 2023-05-20 07:53:48 | testbuildd | 4h 9m | — |
| Maybe-Failed | 2023-03-31 17:02:07 | mb-lxc-02 | 1h 5m | 2.22 GB | ||
| Maybe-Failed | 2023-02-13 20:25:47 | testwandboard | 4h 8m | — | ||
| Maybe-Failed | 2023-01-22 05:10:50 | testwandboard | 4h 18m | — | ||
| Maybe-Failed | 2023-01-08 15:23:31 | test2019 | 2h 17m | 2.22 GB | ||
| Maybe-Failed | 2022-12-22 14:06:01 | mb-lxc-02 | 1h 24m | 2.22 GB |