Ubuntu
minisat2 package

Branches for Saucy

Name		Status	Last Modified	Last Commit
lp:ubuntu/saucy/minisat2		2 Mature	2013-07-12 21:42:02 UTC 2013-07-12	11. * Require a non-zero memory limit (cl... Author: Michael Tautschnig Revision Date: 2013-07-12 21:42:02 UTC * Require a non-zero memory limit (closes: #716229) * Bumped standards version to 3.9.4 (no changes) * Bumped compatibility level to 9
lp:ubuntu/saucy-proposed/minisat2		1 Development	2013-07-14 22:47:47 UTC 2013-07-14	11. * Require a non-zero memory limit (cl... Author: Michael Tautschnig Revision Date: 2013-07-12 21:42:02 UTC * Require a non-zero memory limit (closes: #716229) * Bumped standards version to 3.9.4 (no changes) * Bumped compatibility level to 9