Ubuntu
minisat2 package

Builds for minisat2 in Ubuntu Yakkety

	s390x build of minisat2 1:2.2.1-5 in ubuntu xenial RELEASE Build started on 2015-12-05 on z13-013 and finished on 2015-12-05 taking 1 minute — see the log
	ppc64el build of minisat2 1:2.2.1-5 in ubuntu utopic PROPOSED Build started on 2014-07-30 on denneed04 (powerpc) and finished on 2014-07-30 taking 2 minutes — see the log
	powerpc build of minisat2 1:2.2.1-5 in ubuntu utopic PROPOSED Build started on 2014-07-30 on sulfur (powerpc) and finished on 2014-07-30 taking 3 minutes — see the log
	i386 build of minisat2 1:2.2.1-5 in ubuntu utopic PROPOSED Build started on 2014-07-30 on roseapple (i386/amd64) and finished on 2014-07-30 taking 1 minute — see the log
	armhf build of minisat2 1:2.2.1-5 in ubuntu utopic PROPOSED Build started on 2014-07-30 on kishi18 (highbank) and finished on 2014-07-30 taking 3 minutes — see the log
	arm64 build of minisat2 1:2.2.1-5 in ubuntu utopic PROPOSED Build started on 2014-07-30 on beebe (arm64) and finished on 2014-07-30 taking 3 minutes — see the log
	amd64 build of minisat2 1:2.2.1-5 in ubuntu utopic PROPOSED Build started on 2014-07-30 on brownie (i386/amd64) and finished on 2014-07-30 taking 2 minutes — see the log