Ubuntu
minisat2 package

Branches for Oneiric

Name		Status	Last Modified	Last Commit
lp:ubuntu/oneiric/minisat2		2 Mature	2011-06-13 15:13:41 UTC 2011-06-13	9. * Include headers from simp/ director... Author: Michael Tautschnig Revision Date: 2011-06-13 15:13:41 UTC * Include headers from simp/ directory in package * Bumped standards version to 3.9.2 (no changes)