Builds for minisat2 in Ubuntu Lucid

Build started on 2010-01-18 on sejong (sparc) and finished on 2010-01-18 taking 3 minutes — see the log

Build started on 2010-01-18 on adare (powerpc) and finished on 2010-01-18 taking 2 minutes — see the log

Build started on 2010-01-18 on hooker (ia64) and finished on 2010-01-18 taking 2 minutes — see the log

Build started on 2010-01-18 on rothera (i386) and finished on 2010-01-18 taking 1 minute — see the log

Build started on 2010-01-18 on kandis (armel) and finished on 2010-01-18 taking 4 minutes — see the log

Build started on 2010-01-18 on yellow (amd64) and finished on 2010-01-18 taking 1 minute — see the log

Build started on 2008-12-05 on podocarpus (armel) and finished on 2008-12-05 taking 3 minutes — see the log

Build started on 2008-11-08 on sejong (sparc) and finished on 2008-11-08 taking 2 minutes — see the log

Build started on 2008-11-07 on adare (powerpc) and finished on 2008-11-07 taking 2 minutes — see the log

Build started on 2008-11-06 on molybdenum (i386/lpia) and finished on 2008-11-06 taking 40 seconds — see the log

Build started on 2008-11-09 on hooker (ia64) and finished on 2008-11-09 taking 4 minutes — see the log

Build started on 2008-11-06 on vernadsky (i386) and finished on 2008-11-06 taking 3 minutes — see the log

Build started on 2008-11-10 on primero (hppa) and finished on 2008-11-10 taking 5 minutes — see the log

Build started on 2008-11-07 on yellow (amd64) and finished on 2008-11-07 taking 1 minute — see the log