[SCM] minisat+ packaging branch, master, updated. upstream/1.0-5-ge3da230

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 6fe5ba3a64d7a8fa236074a8a270c44a37a784d5
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed May 11 21:22:23 2011 +0200

    close ITP bug

diff --git a/debian/changelog b/debian/changelog
index 21d15c3..11d7919 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,6 +1,6 @@
 minisat+ (1.0-1) unstable; urgency=low
 
-  * Initial package.
+  * Initial package (closes: Bug#626410)
 
  -- Ralf Treinen <treinen at debian.org>  Tue, 10 May 2011 17:08:02 +0200
 
diff --git a/debian/control b/debian/control
index 94dcd35..5d9bb10 100644
--- a/debian/control
+++ b/debian/control
@@ -12,7 +12,7 @@ Vcs-Browser: http://git.debian.org/?p=debian-science/packages/minisat+.git
 Package: minisat+
 Architecture: any
 Depends: ${misc:Depends}, ${shlibs:Depends}
-Description: solver for pseudo_Boolean constraints
+Description: solver for pseudo-Boolean constraints
  MinSat+ is a solver for Pseudo-Boolean Optimization (AKA 0-1
  integer programming) that is based on the MiniSat SAT-solver. It
  supports optimizing a linear objective function, subject to a set

-- 
minisat+ packaging