Builds for coq in Ubuntu Vivid

Build started on 2014-07-27 on fisher04 (powerpc) and finished on 2014-07-28 taking 2 hours — see the log

Build started on 2014-07-27 on adare (powerpc) and finished on 2014-07-28 taking 1 hour 20 minutes — see the log

Build started on 2014-07-27 on lamiak (i386/amd64) and finished on 2014-07-27 taking 34 minutes — see the log

Build started on 2014-07-27 on kishi03 (highbank) and finished on 2014-07-28 taking 1 hour 40 minutes — see the log

Build started on 2014-07-27 on templar (arm64) and finished on 2014-07-28 taking 3 hours 40 minutes — see the log

Build started on 2014-07-27 on toyol (i386/amd64) and finished on 2014-07-27 taking 32 minutes — see the log