[SCM] polybori: Polynomials over Boolean Rings branch, debian, updated. 31c7b550af8ccfa217eaa563d719b4cb27e77706

[Felix Salfelder]

The following commit has been merged in the debian branch:
commit 31c7b550af8ccfa217eaa563d719b4cb27e77706
Author: Felix Salfelder <felix at salfelder.org>
Date:   Sat Mar 17 12:32:14 2012 +0100

    control.in no longer needed

diff --git a/debian/control.in b/debian/control.in
deleted file mode 100644
index f59c56f..0000000
--- a/debian/control.in
+++ /dev/null
@@ -1,65 +0,0 @@
-Source: polybori
-Section: math
-Priority: optional
-Maintainer: Tim Abbott <tabbott at mit.edu>
-Uploaders: Alexander Dreyer <adreyer at gmx.de>
-Homepage: http://polybori.sourceforge.net/
-Build-Depends: @cdbs@, scons, python-setuptools, libboost-dev, libboost-python-dev (>= 1.39), doxygen (>= 1.4.6), hevea | tex4ht, python-all-dev (>= 2.3.5-11), python-central (>= 0.5.6)
-XS-Python-Version: all
-Standards-Version: 3.8.0
-
-Package: python-polybori
-Provides: polybori
-Section: python
-Architecture: any
-Depends: ${shlibs:Depends}, ${misc:Depends}, ipython, libpolybori-dev (= ${binary:Version}), ${python:Depends}
-XB-Python-Version: ${python:Version}
-Description: Polynomials over Boolean Rings, Python module
- The core of PolyBoRi is a C++ library, which provides high-level data
- types for Boolean polynomials and monomials, exponent vectors, as
- well as for the underlying polynomial rings and subsets of the
- powerset of the Boolean variables. As a unique approach, binary
- decision diagrams are used as internal storage type for polynomial
- structures. On top of this C++-library we provide a Python
- interface. This allows parsing of complex polynomial systems, as well
- as sophisticated and extendable strategies for Groebner base
- computation. PolyBoRi features a powerful reference implementation
- for Groebner basis computation.
- .
- This package contains the PolyBoRi Python module and ipbori program.
-
-Package: libpolybori-dev
-Section: libdevel
-Architecture: any
-Depends: ${shlibs:Depends}, ${misc:Depends}, libpolybori-0.5.0-0 (= ${binary:Version})
-Description: Polynomials over Boolean Rings, development files
- The core of PolyBoRi is a C++ library, which provides high-level data
- types for Boolean polynomials and monomials, exponent vectors, as
- well as for the underlying polynomial rings and subsets of the
- powerset of the Boolean variables.  As a unique approach, binary
- decision diagrams are used as internal storage type for polynomial
- structures.  On top of this C++-library, PolyBoRi provides a Python
- interface.  This allows parsing of complex polynomial systems, as
- well as sophisticated and extendable strategies for Groebner base
- computation.  PolyBoRi features a powerful reference implementation
- for Groebner basis computation.
- .
- This package contains the PolyBoRi development files.
-
-Package: libpolybori-0.5.0-0
-Section: libs
-Architecture: any
-Depends: ${shlibs:Depends}, ${misc:Depends}
-Description: Polynomials over Boolean Rings, shared library
- The core of PolyBoRi is a C++ library, which provides high-level data
- types for Boolean polynomials and monomials, exponent vectors, as
- well as for the underlying polynomial rings and subsets of the
- powerset of the Boolean variables.  As a unique approach, binary
- decision diagrams are used as internal storage type for polynomial
- structures.  On top of this C++-library, PolyBoRi provides a Python
- interface.  This allows parsing of complex polynomial systems, as
- well as sophisticated and extendable strategies for Groebner base
- computation.  PolyBoRi features a powerful reference implementation
- for Groebner basis computation.
- .
- This package contains the PolyBoRi shared libraries.

-- 
polybori: Polynomials over Boolean Rings