Raspbian Package Auto-Building

Build logs for coq-elpi

Package:

Debian PTSTrackerChangelogBugspackages.d.obuildd.d.oSource

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) 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