[SCM] polybori: Polynomials over Boolean Rings branch, master, updated. debian/0.8.3-1_exp1-1-gdd65a7b

[Alexander Dreyer]

The following commit has been merged in the master branch:
commit dd65a7b3191db27088a05aac996803d012aff37e
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Feb 15 22:08:41 2013 +0100

    Remove libm4ri from explicit dependency of libpolybori-groebner

diff --git a/debian/control b/debian/control
index 2343ab3..0111224 100644
--- a/debian/control
+++ b/debian/control
@@ -182,8 +182,7 @@ Multi-Arch: same
 Section: libs
 Depends: ${shlibs:Depends},
          ${misc:Depends},
-         libpolybori-0.8-3 (= ${binary:Version}),
-         libm4ri
+         libpolybori-0.8-3 (= ${binary:Version})
 Suggests: polybori-doc (= ${binary:Version})
 Pre-Depends: ${misc:Pre-Depends}
 Breaks: libpolybori (<< 0.8)

-- 
polybori: Polynomials over Boolean Rings