Builds for agda-bin in Ubuntu Precise

Build started on 2012-04-20 on adare (powerpc) and finished on 2012-04-20 taking 5 minutes — see the log

Build started on 2012-03-18 on crested (amd64) and finished on 2012-03-18 taking 14 minutes — see the log

Build started on 2012-03-18 on nasl (arm panda) and finished on 2012-03-18 taking 8 minutes — see the log

Build started on 2012-03-18 on chort (armhf panda) and finished on 2012-03-18 taking 8 minutes — see the log

Build started on 2012-03-18 on yellow (amd64) and finished on 2012-03-18 taking 8 minutes — see the log

Build started on 2011-11-29 on zirconium and finished on 2011-11-29 taking 2 minutes — see the log

Build started on 2012-03-18 on shedir (armhf panda) and finished on 2012-03-18 taking 6 minutes — see the log

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

Build started on 2011-11-29 on allspice (i386/amd64) and finished on 2011-11-29 taking 1 minute — see the log

Build started on 2011-06-10 on adare (powerpc) and finished on 2011-06-10 taking 5 minutes — see the log

Build started on 2011-06-10 on rothera (i386) and finished on 2011-06-10 taking 3 minutes — see the log

Missing dependencies: libghc-agda-dev

Build started on 2011-09-03 on araceae (arm) and finished on 2011-09-03 taking 8 minutes — see the log

Build started on 2011-06-10 on allspice (i386/amd64) and finished on 2011-06-10 taking 1 minute — see the log