Builds for wise in Ubuntu Trusty

Build started on 2014-02-20 on denneed01 (powerpc) and finished on 2014-02-20 taking 7 minutes — see the log

Build started on 2013-10-25 on twombly (arm64) and finished on 2013-10-25 taking 11 minutes — see the log

Build started at an unknown time on an unknown build machine

Build started on 2013-07-17 on ross (powerpc) and finished on 2013-07-17 taking 18 minutes — see the log

Build started on 2013-07-17 on batsu (i386/amd64) and finished on 2013-07-17 taking 8 minutes — see the log

Build started on 2013-07-17 on mizar and finished on 2013-07-17 taking 29 minutes — see the log

Build started on 2013-07-17 on allspice (i386/amd64) and finished on 2013-07-17 taking 7 minutes — see the log