Builds for alex4 in Ubuntu Xenial

Build started on 2015-12-05 on z13-018 and finished on 2015-12-05 taking 2 minutes — see the log

Build started on 2014-02-21 on denneed03 (powerpc) and finished on 2014-02-21 taking 2 minutes — see the log

Build started on 2013-10-19 on birch (arm64) and finished on 2013-10-19 taking 2 minutes — see the log

Missing dependencies: libdumb1-dev

Build started on 2013-10-10 on birch (arm64) and finished on 2013-10-10 taking 40 seconds — see the log

Build started on 2013-06-09 on ross (powerpc) and finished on 2013-06-09 taking 5 minutes — see the log

Build started on 2013-06-09 on allspice (i386/amd64) and finished on 2013-06-09 taking 2 minutes — see the log

Build started on 2013-06-09 on mizar and finished on 2013-06-09 taking 5 minutes — see the log

Build started on 2013-06-09 on roseapple (i386/amd64) and finished on 2013-06-09 taking 2 minutes — see the log