Raspbian Package Auto-Building

Build logs for why3 on armhf

Package:

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

Build logs for why3 on armhf [X] in stretch-staging [X]

Version Architecture Result Build date Builder Build time Disk space
0.87.3-2 (stretch-staging) Buildd exposure stats armhf Maybe-Successful 2017-02-01 10:16:35 testbuildd 44m 709.63 MB
0.87.2-3 (stretch-staging) Maybe-Successful 2017-02-01 02:30:13 bm-wb-02 41m 709.8 MB
Maybe-Failed 2017-01-14 07:44:09 bm-wb-01 45m —
0.87.2-2 (stretch-staging) Maybe-Successful 2016-09-27 14:04:23 testbuildd 47m 684.57 MB
0.87.2-1 (stretch-staging) Maybe-Successful 2016-09-07 17:23:14 testbuildd 45m 684.46 MB
0.87.1-2+b2 (stretch-staging) Maybe-Successful 2016-08-22 23:23:31 bm-wb-03 43m 686.01 MB
0.87.1-2+b1 (stretch-staging) Maybe-Successful 2016-08-14 17:45:19 bm-wb-01 54m 687.09 MB
0.87.1-2 (stretch-staging) Maybe-Successful 2016-07-25 13:39:36 bm-wb-01 56m 687.09 MB
0.87.1-1+b1 (stretch-staging) Maybe-Successful 2016-06-16 02:23:49 testbuildd 41m 686.29 MB
0.87.1-1 (stretch-staging) Maybe-Successful 2016-06-15 13:24:07 bm-wb-03 39m 686.29 MB
0.87.0-3+b1 (stretch-staging) Maybe-Successful 2016-06-05 16:14:15 bm-wb-01 39m 685.87 MB
0.87.0-1 (stretch-staging) Maybe-Successful 2016-04-02 08:06:58 bm-wb-02 1h 11m 442.49 MB