Builds for Ubuntu

Build started on 2015-07-07 on kishi12 (highbank) and finished on 2015-07-07 taking 22 minutes — see the log

Build started on 2015-07-07 on auburn (arm64) and finished on 2015-07-07 taking 15 minutes — see the log

Build started on 2015-07-07 on brownie (i386/amd64) and finished on 2015-07-07 taking 15 minutes — see the log

Build started on 2015-05-07 on fisher01 (powerpc) and finished on 2015-05-07 taking 4 minutes — see the log

Build started on 2015-05-08 on ross (powerpc) and finished on 2015-05-08 taking 14 minutes — see the log

Build started on 2015-05-06 on kissel (i386/amd64) and finished on 2015-05-06 taking 10 minutes — see the log

Build started on 2015-05-06 on kishi00 (highbank) and finished on 2015-05-06 taking 12 minutes — see the log

Build started on 2015-05-07 on auburn (arm64) and finished on 2015-05-07 taking 12 minutes — see the log

Build started on 2015-05-06 on comet (i386/amd64) and finished on 2015-05-06 taking 10 minutes — see the log

Build started on 2014-12-17 on fisher04 (powerpc) and finished on 2014-12-17 taking 4 minutes — see the log

Build started on 2014-12-17 on denneed01 (powerpc) and finished on 2014-12-17 taking 4 minutes — see the log

Build started on 2014-12-17 on allspice (i386/amd64) and finished on 2014-12-17 taking 4 minutes — see the log

Build started on 2014-12-17 on kishi01 (highbank) and finished on 2014-12-17 taking 13 minutes — see the log

Build started on 2014-12-17 on templar (arm64) and finished on 2014-12-17 taking 13 minutes — see the log

Build started on 2014-12-17 on phianna (i386/amd64) and finished on 2014-12-17 taking 10 minutes — see the log

Build started on 2014-10-25 on fisher01 (powerpc) and finished on 2014-10-25 taking 4 minutes — see the log

Build started on 2014-10-25 on sagari (powerpc) and finished on 2014-10-25 taking 6 minutes — see the log

Build started on 2014-10-25 on tipua (i386/amd64) and finished on 2014-10-25 taking 3 minutes — see the log

Build started on 2014-10-25 on kishi17 (highbank) and finished on 2014-10-25 taking 11 minutes — see the log

Build started on 2014-10-25 on magic (arm64) and finished on 2014-10-25 taking 9 minutes — see the log

Build started on 2014-10-25 on allspice (i386/amd64) and finished on 2014-10-25 taking 3 minutes — see the log

Build started on 2014-06-26 on denneed02 (powerpc) and finished on 2014-06-26 taking 4 minutes — see the log

Build started on 2014-06-26 on sagari (powerpc) and finished on 2014-06-26 taking 4 minutes — see the log

Build started on 2014-06-26 on panlong (i386/amd64) and finished on 2014-06-26 taking 8 minutes — see the log

Build started on 2014-06-26 on kishi13 (highbank) and finished on 2014-06-26 taking 11 minutes — see the log

Build started on 2014-06-26 on beebe (arm64) and finished on 2014-06-26 taking 12 minutes — see the log

Build started on 2014-06-26 on aatxe (i386/amd64) and finished on 2014-06-26 taking 7 minutes — see the log

Build started on 2014-04-26 on denneed03 (powerpc) and finished on 2014-04-26 taking 3 minutes — see the log

Build started on 2014-04-26 on adare (powerpc) and finished on 2014-04-26 taking 15 minutes — see the log

Build started on 2014-04-26 on kissel (i386/amd64) and finished on 2014-04-26 taking 4 minutes — see the log

Build started on 2014-04-26 on kishi18 (highbank) and finished on 2014-04-26 taking 10 minutes — see the log

Build started on 2014-04-26 on magic (arm64) and finished on 2014-04-26 taking 10 minutes — see the log

Build started on 2014-04-26 on roseapple (i386/amd64) and finished on 2014-04-26 taking 3 minutes — see the log

Build started on 2014-02-18 on postal01 (ppc64el) and finished on 2014-02-18 taking 4 minutes — see the log

Build started on 2014-02-06 on sulfur (powerpc) and finished on 2014-02-06 taking 13 minutes — see the log

Build started on 2014-02-05 on toyol (i386/amd64) and finished on 2014-02-05 taking 3 minutes — see the log

Build started on 2014-02-05 on kishi18 (highbank) and finished on 2014-02-05 taking 14 minutes — see the log

Build started on 2014-02-06 on magic (arm64) and finished on 2014-02-06 taking 18 minutes — see the log

Build started on 2014-02-05 on tipua (i386/amd64) and finished on 2014-02-05 taking 3 minutes — see the log

Build started on 2013-12-15 on sulfur (powerpc) and finished on 2013-12-15 taking 12 minutes — see the log

Build started on 2013-12-15 on allspice (i386/amd64) and finished on 2013-12-15 taking 3 minutes — see the log

Build started on 2013-12-15 on kishi08 (highbank) and finished on 2013-12-15 taking 13 minutes — see the log

Build started on 2014-01-14 on magic (arm64) and finished on 2014-01-14 taking 14 minutes — see the log

Build started on 2013-12-15 on roseapple (i386/amd64) and finished on 2013-12-15 taking 3 minutes — see the log

Build started on 2013-11-24 on sulfur (powerpc) and finished on 2013-11-24 taking 6 minutes — see the log

Build started on 2013-11-23 on akateko (i386/amd64) and finished on 2013-11-23 taking 6 minutes — see the log

Build started on 2013-11-23 on kishi06 (highbank) and finished on 2013-11-23 taking 10 minutes — see the log

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

Build started on 2013-11-23 on allspice (i386/amd64) and finished on 2013-11-23 taking 3 minutes — see the log

Build started on 2013-10-23 on adare (powerpc) and finished on 2013-10-23 taking 14 minutes — see the log

Build started on 2013-10-23 on tipua (i386/amd64) and finished on 2013-10-23 taking 3 minutes — see the log

Build started on 2013-10-22 on kishi06 (highbank) and finished on 2013-10-22 taking 11 minutes — see the log

Build started on 2013-10-23 on beebe (arm64) and finished on 2013-10-23 taking 7 minutes — see the log

Build started on 2013-10-22 on panlong (i386/amd64) and finished on 2013-10-22 taking 6 minutes — see the log

Build started at an unknown time on an unknown build machine

Build started on 2013-04-26 on adare (powerpc) and finished on 2013-04-26 taking 17 minutes — see the log

Build started on 2013-04-26 on aatxe (i386/amd64) and finished on 2013-04-26 taking 7 minutes — see the log

Build started on 2013-04-27 on mizar and finished on 2013-04-27 taking 30 minutes — see the log

Build started on 2013-04-26 on batsu (i386/amd64) and finished on 2013-04-26 taking 6 minutes — see the log

Build started on 2012-05-02 on ross (powerpc) and finished on 2012-05-02 taking 13 minutes — see the log

Build started on 2012-05-01 on roseapple (i386/amd64) and finished on 2012-05-01 taking 3 minutes — see the log

Build started on 2012-05-02 on nikusui (arm panda) and finished on 2012-05-02 taking 22 minutes — see the log

Build started on 2012-05-02 on nihal (arm panda) and finished on 2012-05-02 taking 22 minutes — see the log

Build started on 2012-05-01 on komainu (i386/amd64) and finished on 2012-05-01 taking 5 minutes — see the log

Build started on 2012-01-18 on ross (powerpc) and finished on 2012-01-18 taking 16 minutes — see the log

Build started on 2012-01-18 on roseapple (i386/amd64) and finished on 2012-01-18 taking 3 minutes — see the log

Build started on 2012-01-18 on shedir (armhf panda) and finished on 2012-01-18 taking 21 minutes — see the log

Build started on 2012-01-24 on kitalpha (arm) and finished on 2012-01-24 taking 38 minutes — see the log

Build started on 2012-01-18 on allspice (i386/amd64) and finished on 2012-01-18 taking 2 minutes — see the log