Raspbian Package Auto-Building

Build logs for coq-elpi

Package:

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

Build logs for coq-elpi

Version Architecture Result Build date Builder Build time Disk space
2.1.0-1 (trixie-staging) Buildd exposure stats 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) Buildd exposure stats armhf Maybe-Successful 2024-06-18 12:04:56 testwandboard 1h 29m 80.43 MB
 
1.19.3-2+b1 (trixie-staging) Buildd exposure stats armhf Maybe-Successful 2024-02-29 05:05:12 bm-wb-04 33m 80.43 MB
 
1.19.3-2 (trixie-staging) Buildd exposure stats armhf Maybe-Successful 2024-01-23 16:44:13 Source Builder <sbuild@test2023> 4m 80.42 MB
 
1.15.6-4 (bookworm-staging) Buildd exposure stats armhf Maybe-Successful 2022-11-19 05:06:23 bm-wb-03 27m 61.44 MB
 
1.15.6-1 (bookworm-staging) Buildd exposure stats armhf Maybe-Successful 2022-09-17 15:47:09 mb-lxc-02 14m 62.62 MB
Maybe-Failed 2022-09-17 04:47:37 test2019 12m 2.11 MB
 
1.14.0-5+b1 (bookworm-staging) Buildd exposure stats armhf Maybe-Successful 2022-08-09 16:38:06 bm-wb-02 34m 142.74 MB
 
1.14.0-5 (bookworm-staging) Buildd exposure stats armhf Maybe-Successful 2022-07-10 09:31:03 mb-lxc-01 13m 138.28 MB
Maybe-Failed 2022-07-10 04:40:12 bm-wb-03 45m —
 
1.13.0-7+b1 (bookworm-staging) Buildd exposure stats armhf Maybe-Successful 2022-04-23 17:02:58 bm-wb-01 33m 98.75 MB
 
1.13.0-7 (bookworm-staging) Buildd exposure stats armhf Maybe-Successful 2022-04-22 04:46:32 mb-lxc-01 12m 98.73 MB
 
1.13.0-1 (bookworm-staging) Buildd exposure stats armhf Maybe-Successful 2022-02-18 01:15:52 testwandboard 30m 98.65 MB
 
1.12.1-2 (bookworm-staging) Buildd exposure stats armhf Maybe-Successful 2022-02-10 22:14:18 test2019 16m 93.21 MB
 
1.11.2-1 (bookworm-staging) Buildd exposure stats armhf Maybe-Failed 2022-01-11 06:36:02 bm-wb-03 37m —