Builds for mira in Ubuntu Saucy

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

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

Build started at an unknown time on an unknown build machine

Build started at an unknown time on an unknown build machine

Build started on 2013-07-04 on sagari (powerpc) and finished on 2013-07-04 taking 12 minutes — see the log

Build started on 2013-07-04 on sagari (powerpc) and finished on 2013-07-04 taking 12 minutes — see the log

Build started on 2013-07-04 on lamiak (i386/amd64) and finished on 2013-07-04 taking 13 minutes — see the log

Build started on 2013-07-04 on lamiak (i386/amd64) and finished on 2013-07-04 taking 13 minutes — see the log

Build started on 2013-07-04 on altais (armhf - panda) and finished on 2013-07-04 taking 1 hour 10 minutes — see the log

Build started on 2013-07-04 on altais (armhf - panda) and finished on 2013-07-04 taking 1 hour 10 minutes — see the log

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

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

Build started on 2013-05-22 on adare (powerpc) and finished on 2013-05-22 taking 25 minutes — see the log

Build started on 2013-05-22 on adare (powerpc) and finished on 2013-05-22 taking 25 minutes — see the log

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

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

Build started on 2013-05-22 on mizar and finished on 2013-05-22 taking 46 minutes — see the log

Build started on 2013-05-22 on mizar and finished on 2013-05-22 taking 46 minutes — see the log

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

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

Build started on 2012-06-25 on adare (powerpc) and finished on 2012-06-25 taking 19 minutes — see the log

Build started on 2012-06-25 on akateko (i386/amd64) and finished on 2012-06-25 taking 11 minutes — see the log

Build started on 2012-06-25 on ishigaq (arm panda) and finished on 2012-06-25 taking 38 minutes — see the log

Build started on 2012-06-25 on shedir (armhf panda) and finished on 2012-06-25 taking 37 minutes — see the log

Build started on 2012-06-25 on batsu (i386/amd64) and finished on 2012-06-25 taking 8 minutes — see the log