[SCM] minisat+ packaging branch, master, updated. upstream/2011.05.10-8-gfd4f82b

[Ralf Treinen]

The following commit has been merged in the master branch:
commit f0d5069cbd7d425a5d4edfeb755cf82ec904a8fa
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue May 10 17:05:14 2011 +0200

    add build-dependency on libgmp3-dev

diff --git a/debian/control b/debian/control
index 51d9a92..3757c9b 100644
--- a/debian/control
+++ b/debian/control
@@ -3,7 +3,7 @@ Section: science
 Priority: extra
 Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
 Uploaders: Ralf Treinen <treinen at debian.org>
-Build-Depends: debhelper (>= 8)
+Build-Depends: debhelper (>= 8), libgmp3-dev
 Standards-Version: 3.9.2
 Homepage: http://minisat.se/MiniSat+.html
 Vcs-Git: git://git.debian.org/git/debian-science/packages/minisat+.git
diff --git a/debian/rules b/debian/rules
old mode 100644
new mode 100755

-- 
minisat+ packaging