Ubuntu
minisat2 package

Builds for minisat2 in Ubuntu Natty

Natty (11.04)
Builds

	powerpc build of minisat2 1:2.2.0-2 in ubuntu natty RELEASE Build started on 2010-10-23 on adare (powerpc) and finished on 2010-10-23 taking 2 minutes — see the log
	i386 build of minisat2 1:2.2.0-2 in ubuntu natty RELEASE Build started on 2010-10-17 on rothera (i386) and finished on 2010-10-17 taking 4 minutes — see the log
	armel build of minisat2 1:2.2.0-2 in ubuntu natty RELEASE Build started on 2010-10-17 on cushaw (arm) and finished on 2010-10-17 taking 9 minutes — see the log
	amd64 build of minisat2 1:2.2.0-2 in ubuntu natty RELEASE Build started on 2010-10-17 on crested (amd64) and finished on 2010-10-17 taking 7 minutes — see the log
	sparc build of minisat2 070721-8 in ubuntu lucid RELEASE Build started on 2010-01-18 on sejong (sparc) and finished on 2010-01-18 taking 3 minutes — see the log
	powerpc build of minisat2 070721-8 in ubuntu lucid RELEASE Build started on 2010-01-18 on adare (powerpc) and finished on 2010-01-18 taking 2 minutes — see the log
	ia64 build of minisat2 070721-8 in ubuntu lucid RELEASE Build started on 2010-01-18 on hooker (ia64) and finished on 2010-01-18 taking 2 minutes — see the log
	i386 build of minisat2 070721-8 in ubuntu lucid RELEASE Build started on 2010-01-18 on rothera (i386) and finished on 2010-01-18 taking 1 minute — see the log
	armel build of minisat2 070721-8 in ubuntu lucid RELEASE Build started on 2010-01-18 on kandis (armel) and finished on 2010-01-18 taking 4 minutes — see the log
	amd64 build of minisat2 070721-8 in ubuntu lucid RELEASE Build started on 2010-01-18 on yellow (amd64) and finished on 2010-01-18 taking 1 minute — see the log