Ubuntu
minisat2 package

Branches for Utopic

Name		Status	Last Modified	Last Commit
lp:ubuntu/utopic/minisat2		2 Mature	2014-07-30 10:38:25 UTC 2014-07-30	12. * Fix C++ syntax to enable Clang buil... Author: Michael Tautschnig Revision Date: 2014-07-30 10:38:25 UTC * Fix C++ syntax to enable Clang builds (closes: #756336) * Bumped standards version to 3.9.5 (no changes)
lp:ubuntu/utopic-proposed/minisat2		1 Development	2014-07-30 17:18:11 UTC 2014-07-30	12. * Fix C++ syntax to enable Clang buil... Author: Michael Tautschnig Revision Date: 2014-07-30 10:38:25 UTC * Fix C++ syntax to enable Clang builds (closes: #756336) * Bumped standards version to 3.9.5 (no changes)