Ubuntu
minisat2 package

Branches for Quantal

Name Status Last Modified Last Commit
lp:ubuntu/quantal/minisat2 2 Mature 2012-04-26 16:50:13 UTC
10. Updated man page (closes: #638217)

Author: Michael Tautschnig
Revision Date: 2011-09-03 21:03:43 UTC

Updated man page (closes: #638217)
1 → 1 of 1 result First • Previous • Next • Last