[SCM] minisat+ packaging branch, master, updated. upstream/2011.05.10-14-g572421b

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 5f48a881518dd4c9b57718912aeec4d8efab4696
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed May 11 15:35:50 2011 +0200

    fix syntaxe of control field

diff --git a/debian/control b/debian/control
index 5353c05..cbb7fd3 100644
--- a/debian/control
+++ b/debian/control
@@ -19,5 +19,5 @@ Description: solver for pseudo_Boolean constraints
  and objective functions, however, may use arbitrary integer coefficients.
  Minisat+ is tool to solve Pseudo-Boolean constraints, derived from the
  Minisat SAT-solver.
-
+ .
  This version of Minisat+ is compiled with bignum support.

-- 
minisat+ packaging