Raspbian Package Auto-Building

Build logs for coq on armhf

Package:

Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o

Build logs for coq on armhf [X] in bullseye-staging [X]

Version Architecture Result Build date Builder Build time Disk space
8.12.0-3+b2 (bullseye-staging) Buildd exposure stats armhf Maybe-Successful 2020-12-03 17:32:14 mb-lxc-01 1h 38m 2.24 GB
8.12.0-3+b1 (bullseye-staging) Maybe-Successful 2020-11-10 04:36:22 bm-wb-01 4h 32m 2.24 GB
8.12.0-3 (bullseye-staging) Maybe-Successful 2020-10-23 01:41:37 testwandboard 3h 58m 2.02 GB
8.11.0-1+rpi1+b1 (bullseye-staging) Maybe-Successful 2020-10-04 23:57:49 mb-lxc-02 53m 1.85 GB
8.11.0-1 (bullseye-staging) Maybe-Failed 2020-06-12 22:40:20 testwandboard 3h 23m —
Maybe-Failed 2020-05-29 05:38:13 mb-lxc-02 1h 25m 837.64 MB
Maybe-Failed 2020-05-22 07:52:15 bm-wb-03 3h 26m —
Maybe-Failed 2020-03-30 11:57:19 test2019 2h 7m 839.21 MB
Maybe-Failed 2020-03-23 12:45:00 mb-lxc-02 1h 20m 838.41 MB
8.9.1-5+b1 (bullseye-staging) Maybe-Successful 2020-02-17 22:03:00 mb-lxc-01 1h 21m 1.68 GB
8.9.1-5 (bullseye-staging) Maybe-Successful 2020-02-01 04:14:59 bm-wb-02 3h 6m 1.68 GB
8.9.1-2+b2 (bullseye-staging) Maybe-Successful 2020-01-03 21:43:42 bm-wb-04 2h 57m 1.6 GB
8.9.1-2+b1 (bullseye-staging) Maybe-Successful 2019-12-08 19:29:57 testwandboard 3h 11m 1.6 GB
8.9.1-2 (bullseye-staging) Maybe-Successful 2019-11-28 04:40:49 mb-lxc-02 1h 1m 1.6 GB
8.9.1-1 (bullseye-staging) Maybe-Successful 2019-09-04 22:50:40 bm-wb-01 2h 47m 1.51 GB
8.9.0-1+b2 (bullseye-staging) Maybe-Successful 2019-08-09 13:37:01 test2019 1h 57m 1.51 GB
8.9.0-1+b1 (bullseye-staging) Maybe-Successful 2019-07-31 13:39:07 bm-wb-02 2h 51m 1.51 GB