Raspbian Package Auto-Building

Build logs for why3

Package:

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

Build logs for why3 in trixie-staging [X]

Version Architecture Result Build date Builder Build time Disk space
1.8.0-2+b2 (trixie-staging) Buildd exposure stats armhf Maybe-Successful 2025-07-03 22:34:28 mb-lxc-01 41m 456.05 MB
 
1.8.0-2+b1 (trixie-staging) Buildd exposure stats armhf Maybe-Successful 2025-02-16 16:52:10 Source Builder <sbuild@test2023> 8m 456 MB
 
1.8.0-2 (trixie-staging) Buildd exposure stats armhf Maybe-Successful 2025-02-07 20:15:24 bm-wb-02 1h 49m 519.71 MB
 
1.7.2-2+b3 (trixie-staging) Buildd exposure stats armhf Maybe-Successful 2025-01-14 22:43:19 Source Builder <sbuild@test2023> 6m 483.66 MB
 
1.7.2-2+b2 (trixie-staging) Buildd exposure stats armhf Maybe-Successful 2024-09-19 09:38:17 Source Builder <sbuild@test2023> 7m 483.56 MB
 
1.7.2-2+b1 (trixie-staging) Buildd exposure stats armhf Maybe-Successful 2024-09-04 02:53:17 bm-wb-02 1h 24m 666.91 MB
 
1.7.2-2 (trixie-staging) Buildd exposure stats armhf Maybe-Successful 2024-08-18 17:34:05 Source Builder <sbuild@test2023> 6m 669.12 MB
 
1.6.0-1+b3 (trixie-staging) Buildd exposure stats armhf Maybe-Successful 2024-07-16 17:02:02 mb-lxc-02 18m 660.51 MB
 
1.6.0-1+b2 (trixie-staging) Buildd exposure stats armhf Maybe-Successful 2024-06-17 23:57:38 mb-lxc-02 36m 660.41 MB
 
1.6.0-1+b1 (trixie-staging) Buildd exposure stats armhf Maybe-Successful 2024-02-23 17:54:10 bm-wb-04 1h 5m 660.4 MB
 
1.6.0-1 (trixie-staging) Buildd exposure stats armhf Maybe-Successful 2023-10-19 18:23:34 bm-wb-04 1h 6m 637.38 MB