Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o – Source
Build logs for coq-elpi in trixie-staging [X]
| Version | Architecture | Result | Build date | Builder | Build time | Disk space |
|---|---|---|---|---|---|---|
| 2.1.0-1 (trixie-staging) |  armhf |
Maybe-Successful | 2024-06-27 13:42:40 | Source Builder <sbuild@test2023> | 4m | 103.27 MB |
| Maybe-Failed | 2024-06-24 06:02:53 | mb-lxc-01 | 8m | 3.68 MB | ||
| 1.19.3-2+b2 (trixie-staging) | armhf |
Maybe-Successful | 2024-06-18 12:04:56 | testwandboard | 1h 29m | 80.43 MB |
| 1.19.3-2+b1 (trixie-staging) | armhf |
Maybe-Successful | 2024-02-29 05:05:12 | bm-wb-04 | 33m | 80.43 MB |
| 1.19.3-2 (trixie-staging) | armhf |
Maybe-Successful | 2024-01-23 16:44:13 | Source Builder <sbuild@test2023> | 4m | 80.42 MB |