Raspbian Package Auto-Building

Build logs for why3

Package:

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

Build logs for why3 in buster-staging [X]

Version Architecture Result Build date Builder Build time Disk space
1.2.0-1 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2019-02-26 05:12:22 mb-lxc-02 26m 949.32 MB
 
1.1.1-1 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2018-12-24 23:01:47 mb-lxc-02 23m 596.35 MB
 
1.1.0-1+b1 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2018-11-25 02:08:40 testwandboard 46m 594.39 MB
 
1.1.0-1 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2018-11-08 04:44:43 mb-lxc-01 26m 596.64 MB
 
1.0.0-2 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2018-08-18 05:34:01 bm-wb-02 50m 627.67 MB
 
1.0.0-1+b1 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2018-07-22 17:25:17 bm-wb-04 47m 627.61 MB
 
1.0.0-1 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2018-07-22 05:20:35 mb-lxc-01 23m 629.99 MB
 
0.88.3-3 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2018-05-29 05:52:09 mb-lxc-01 24m 505.33 MB
 
0.88.3-2 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2018-04-14 05:45:55 bm-wb-02 41m 503.38 MB
 
0.88.3-1+b1 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2018-01-20 23:47:11 bm-wb-04 45m 486.54 MB
 
0.88.3-1 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2018-01-20 11:05:01 mb-lxc-02 22m 505.3 MB
 
0.88.2-1+b1 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2018-01-12 21:08:23 mb-lxc-01 14m 513.21 MB
 
0.88.2-1 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2018-01-03 05:45:22 bm-wb-04 44m 502.36 MB
 
0.87.3-2+b4 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2017-08-10 07:14:44 testwandboard 1h 1m 711.73 MB
 
0.87.3-2+b3 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2017-08-09 17:30:16 bm-wb-02 41m 711.72 MB
 
0.87.3-2+b2 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2017-08-09 06:51:56 bm-wb-02 41m 711.75 MB
 
0.87.3-2+b1 (buster-staging) Buildd exposure stats armhf Maybe-Successful 2017-06-30 12:27:04 mb-lxc-02 21m 713.22 MB