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

[Alexander Dreyer]

The following commit has been merged in the master branch:
commit 13d3cc1e4519b5a83694fcf0519b82376debece6
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Sat Jan 26 00:24:29 2013 +0100

    hevea had been deprecated some time

diff --git a/debian/control b/debian/control
index 8e0a02e..4f1a8dc 100644
--- a/debian/control
+++ b/debian/control
@@ -12,7 +12,7 @@ Build-Depends: debhelper (>= 9),
                libm4ri-dev (>= 20120613),
                python-all-dev
 Build-Depends-Indep: doxygen,
-               hevea | tex4ht
+               tex4ht
 Standards-Version: 3.9.3
 Vcs-Browser: http://git.debian.org/?p=debian-science/packages/polybori.git
 Vcs-Git: git://git.debian.org/git/debian-science/packages/polybori.git

-- 
polybori: Polynomials over Boolean Rings