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

[Ralf Treinen]

The following commit has been merged in the master branch:
commit e3da2306ab3edf56ff5ddd4f197fbdef2e07aafa
Author: Ralf Treinen <treinen at free.fr>
Date:   Thu May 12 22:20:19 2011 +0200

    add missing build-dep zlib1g-dev

diff --git a/debian/control b/debian/control
index 5d9bb10..111c104 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), libgmp-dev
+Build-Depends: debhelper (>= 8), libgmp-dev, zlib1g-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