Builds for minisat2 in Ubuntu Raring

Build started on 2011-12-07 on caph (arm panda) and finished on 2011-12-07 taking 4 minutes — see the log

Build started on 2011-10-22 on ross (powerpc) and finished on 2011-10-22 taking 3 minutes — see the log

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

Build started on 2011-10-19 on shedir (armhf panda) and finished on 2011-10-19 taking 10 minutes — see the log

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