Builds for minisat2 in Ubuntu Intrepid

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

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

Build started on 2008-06-20 on zirconium and finished on 2008-06-20 taking 1 minute — see the log

Build started on 2008-06-20 on floe (ia64) and finished on 2008-06-20 taking 2 minutes — see the log

Build started on 2008-06-20 on palmer (i386) and finished on 2008-06-20 taking 2 minutes — see the log

Build started on 2008-07-05 on kohnen (hppa) and finished on 2008-07-05 taking 3 minutes — see the log

Build started on 2008-06-20 on yellow (amd64) and finished on 2008-06-20 taking 2 minutes — see the log