Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o
Build logs for why3 in bookworm-staging [X]
| Version | Architecture | Result | Build date | Builder | Build time | Disk space |
|---|---|---|---|---|---|---|
| 1.5.1-1+b1 (bookworm-staging) |  armhf |
Maybe-Successful | 2023-01-23 17:32:03 | bm-wb-04 | 53m | 637.06 MB |
| 1.5.1-1 (bookworm-staging) | armhf |
Maybe-Successful | 2022-12-22 06:22:05 | testwandboard | 1h 1m | 636.51 MB |
| 1.5.0-1+b1 (bookworm-staging) | armhf |
Maybe-Successful | 2022-07-06 22:57:10 | mb-lxc-02 | 24m | 624.24 MB |
| 1.5.0-1 (bookworm-staging) | armhf |
Maybe-Successful | 2022-07-06 10:56:43 | mb-lxc-02 | 18m | 624.18 MB |
| 1.4.1-2 (bookworm-staging) | armhf |
Maybe-Successful | 2022-03-22 19:23:20 | bm-wb-01 | 1h 6m | 572.86 MB |
| 1.3.3-3+b2 (bookworm-staging) | armhf |
Maybe-Failed | 2022-01-11 17:16:09 | test2019 | 39m | 1.15 GB |
| 1.3.3-3+b1 (bookworm-staging) | armhf |
Maybe-Successful | 2021-11-10 07:46:58 | testwandboard | 1h 13m | 1.25 GB |
| 1.3.3-3 (bookworm-staging) | armhf |
Maybe-Successful | 2021-11-10 00:59:13 | bm-wb-01 | 1h 17m | 1.25 GB |
| 1.3.3-1+b6 (bookworm-staging) | armhf |
Maybe-Successful | 2021-10-13 17:57:01 | mb-lxc-02 | 34m | 1.25 GB |