Builds for galax in Ubuntu Trusty

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

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

Build started on 2014-02-02 on sagari (powerpc) and finished on 2014-02-02 taking 17 minutes — see the log

Build started on 2014-02-02 on sagari (powerpc) and finished on 2014-02-02 taking 17 minutes — see the log

Build started on 2014-02-02 on allspice (i386/amd64) and finished on 2014-02-02 taking 18 minutes — see the log

Build started on 2014-02-02 on allspice (i386/amd64) and finished on 2014-02-02 taking 18 minutes — see the log

Build started on 2014-02-02 on kishi04 (highbank) and finished on 2014-02-02 taking 50 minutes — see the log

Build started on 2014-02-02 on kishi04 (highbank) and finished on 2014-02-02 taking 50 minutes — see the log

Build started on 2014-02-02 on twombly (arm64) and finished on 2014-02-02 taking 39 minutes — see the log

Build started on 2014-02-02 on twombly (arm64) and finished on 2014-02-02 taking 39 minutes — see the log

Build started on 2014-02-02 on aatxe (i386/amd64) and finished on 2014-02-02 taking 23 minutes — see the log

Build started on 2014-02-02 on aatxe (i386/amd64) and finished on 2014-02-02 taking 23 minutes — see the log

Build started on 2014-01-13 on sagari (powerpc) and finished on 2014-01-13 taking 3 minutes — see the log

Build started on 2014-01-13 on tipua (i386/amd64) and finished on 2014-01-13 taking 2 minutes — see the log

Build started on 2014-01-13 on kishi22 (highbank) and finished on 2014-01-13 taking 7 minutes — see the log

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

Build started on 2014-01-13 on panlong (i386/amd64) and finished on 2014-01-13 taking 5 minutes — see the log

Build started on 2013-10-29 on magic (arm64) and finished on 2013-10-29 taking 36 minutes — see the log

Missing dependencies: libpxp-ocaml-dev

Build started on 2013-10-13 on magic (arm64) and finished on 2013-10-13 taking 50 seconds — see the log

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

Build started on 2013-05-09 on aatxe (i386/amd64) and finished on 2013-05-09 taking 19 minutes — see the log

Build started on 2013-05-09 on mizar and finished on 2013-05-09 taking 1 hour 20 minutes — see the log

Build started on 2013-05-09 on batsu (i386/amd64) and finished on 2013-05-09 taking 19 minutes — see the log