Builds for prooftree in Ubuntu Vivid

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

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

Build started on 2013-12-23 on lamiak (i386/amd64) and finished on 2013-12-23 taking 5 minutes — see the log

Build started on 2013-12-23 on kishi01 (highbank) and finished on 2013-12-23 taking 6 minutes — see the log

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

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