Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o – Source
Build logs for eprover
| Version | Architecture | Result | Build date | Builder | Build time | Disk space |
|---|---|---|---|---|---|---|
| 3.2.5+ds-1 (trixie-staging) |  armhf |
Maybe-Successful | 2024-10-24 04:53:28 | bm-wb-04 | 16m | 55.89 MB |
| 3.2.0+ds-1 (trixie-staging) | armhf |
Maybe-Successful | 2024-06-22 03:41:00 | Source Builder <sbuild@test2023> | 2m | 55.87 MB |
| 3.1.0+ds-2 (trixie-staging) | armhf |
Maybe-Successful | 2024-06-16 04:35:12 | Source Builder <sbuild@test2023> | 2m | 55.87 MB |
| 3.1.0+ds-1 (trixie-staging) | armhf |
Maybe-Successful | 2024-05-17 20:19:21 | bm-wb-02 | 19m | 55.87 MB |
| Maybe-Given-back | 2024-05-17 10:45:20 | test2019 | — | — | ||
| Maybe-Given-back | 2024-05-17 09:10:26 | mb-lxc-02 | — | -1024 B | ||
| 3.0.03+ds-1 (trixie-staging) | armhf |
Maybe-Successful | 2023-12-18 05:02:10 | mb-lxc-01 | 7m | 66.79 MB |
| 2.6+ds-3 (bookworm-staging) | armhf |
Maybe-Successful | 2022-07-20 10:26:55 | bm-wb-01 | 22m | 78.47 MB |