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]

Version Architecture Result Build date Builder Build time Disk space
8.18.0+dfsg-1 (trixie-staging) Buildd exposure stats armhf Maybe-Successful 2024-01-23 08:39:23 Source Builder <sbuild@test2023> 21m 2.48 GB
8.17.0+dfsg-1+b1 (trixie-staging) Maybe-Successful 2023-10-20 00:47:10 test2019 1h 34m 2.48 GB
8.17.0+dfsg-1 (trixie-staging) Maybe-Successful 2023-09-14 19:19:31 test2019 1h 31m 2.46 GB
8.16.1+dfsg-1+b2 (bookworm-staging) Maybe-Successful 2023-05-20 15:34:58 testbuildd 2h 30m 2.55 GB
8.16.1+dfsg-1+b1 (bookworm-staging) Maybe-Successful 2023-02-02 17:24:15 testwandboard 2h 38m 2.55 GB
8.16.1+dfsg-1 (bookworm-staging) Maybe-Successful 2022-12-02 00:24:44 testwandboard 2h 32m 2.55 GB
8.16.0+dfsg-1 (bookworm-staging) Maybe-Successful 2022-09-17 08:08:29 mb-lxc-01 51m 2.61 GB
8.15.2+dfsg-2 (bookworm-staging) Maybe-Successful 2022-07-10 08:48:58 bm-wb-03 3h 4m 2.36 GB
8.15.1+dfsg-1 (bookworm-staging) Maybe-Successful 2022-04-23 12:42:08 mb-lxc-02 49m 2.33 GB
8.15.0+dfsg-1+b1 (bookworm-staging) Maybe-Successful 2022-02-06 00:14:41 test2019 1h 26m 2.33 GB
8.15.0+dfsg-1 (bookworm-staging) Maybe-Successful 2022-02-03 06:30:50 mb-lxc-02 43m 2.39 GB
8.14.1+dfsg-1 (bookworm-staging) Maybe-Successful 2022-01-11 06:55:13 test2019 1h 36m 2.38 GB
8.12.0-3+b2 (bullseye-staging) 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
8.9.0-1 (buster-staging) Maybe-Successful 2019-02-25 07:37:16 mb-lxc-02 59m 1.51 GB
8.6-5 (buster-staging) Maybe-Successful 2018-01-09 13:41:31 bm-wb-02 2h 50m 1008.02 MB
8.6-4+b2 (buster-staging) Maybe-Successful 2017-08-09 06:31:44 bm-wb-03 3h 26m 990.63 MB
8.6-4+b1 (buster-staging) Maybe-Successful 2017-08-08 20:39:19 bm-wb-02 3h 15m 955.84 MB
8.6-4 (stretch-staging) Maybe-Successful 2017-01-14 11:14:11 bm-wb-01 3h 28m 987.78 MB
8.5-2+b2 (stretch-staging) Maybe-Successful 2016-06-15 22:45:40 bm-wb-03 3h 9m 984.69 MB
8.5-2+b1 (stretch-staging) Maybe-Successful 2016-06-05 01:00:37 bm-wb-04 3h 12m 961.69 MB
8.4pl4dfsg-3 (stretch-staging) Maybe-Successful 2015-11-04 21:55:10 bm-wb-03 3h 41m 543.77 MB
8.4pl4dfsg-1 (jessie-staging) Maybe-Successful 2014-08-13 06:46:30 bm-wb-04 3h 30m 533.73 MB
8.4pl3dfsg-1 (jessie-staging) Maybe-Successful 2014-01-26 10:10:49 bm-wb-03 3h 25m 533.49 MB
8.4pl2dfsg-4 (jessie-staging) Maybe-Successful 2013-12-12 21:38:21 bm-wb-01 2h 59m 539.97 MB