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 in bookworm-staging [X]

Version Architecture Result Build date Builder Build time Disk space
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 —