Ubuntu
minisat2 package

Branches for Vivid

Name		Status	Last Modified	Last Commit
lp:ubuntu/vivid/minisat2		2 Mature	2014-10-27 13:29:25 UTC 2014-10-27	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)