Builds for matita in Ubuntu Saucy

Build started at an unknown time on an unknown build machine

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

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

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

Build started on 2012-05-17 on meissa (armhf panda) and finished on 2012-05-17 taking 18 minutes — see the log

Build started on 2012-05-17 on crested (amd64) and finished on 2012-05-17 taking 17 minutes — see the log