[SCM] polybori: Polynomials over Boolean Rings branch, master, updated. upstream/0.8.2-23-gf4131a6

[Alexander Dreyer]

The following commit has been merged in the master branch:
commit f4131a6e96e1e884a7bdcd3eadd5366bcd5756f7
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Wed Dec 19 01:14:58 2012 +0100

    Enforcing debhelper>=9

diff --git a/debian/compat b/debian/compat
index 7f8f011..ec63514 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-7
+9
diff --git a/debian/control b/debian/control
index 1fd36ae..3f260f9 100644
--- a/debian/control
+++ b/debian/control
@@ -7,7 +7,7 @@ Homepage: http://polybori.sourceforge.net/
 Vcs-Git: git://git.debian.org/git/debian-science/packages/polybori.git
 Vcs-Browser: http://git.debian.org/?p=debian-science/packages/polybori.git
 DM-Upload-Allowed: yes
-Build-Depends: debhelper (>= 5), patchutils (>= 0.2.25), scons, python-setuptools,
+Build-Depends: debhelper (>= 9), patchutils (>= 0.2.25), scons, python-setuptools,
  libboost-dev, libboost-python-dev (>=1.39), doxygen (>= 1.4.6),
  hevea | tex4ht, python-all-dev (>= 2.3.5-11)
 X-Python-Version: >= 2.6

-- 
polybori: Polynomials over Boolean Rings