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

[Ralf Treinen]

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

    update build-dep on libgmp

diff --git a/debian/control b/debian/control
index 147d8ad..94dcd35 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), libgmp3-dev
+Build-Depends: debhelper (>= 8), libgmp-dev
 Standards-Version: 3.9.2
 Homepage: http://minisat.se/MiniSat+.html
 Vcs-Git: git://git.debian.org/git/debian-science/packages/minisat+.git

-- 
minisat+ packaging