debian/0000755000000000000000000000000012236013500007156 5ustar debian/polybori-gui.install0000644000000000000000000000012112235301361013165 0ustar usr/bin/PolyGUI* usr/share/polybori/gui/ usr/share/applications/PolyGUI*.desktop debian/polybori-doc.lintian-overrides0000644000000000000000000000013512235301033015137 0ustar # The duplicate files are very small and not a problem. polybori-doc binary: duplicate-files debian/rules0000755000000000000000000000362012236013125010242 0ustar #!/usr/bin/make -f # DH_VERBOSE=1 export DEB_LDFLAGS_MAINT_APPEND = -Wl,--as-needed PYVERS=$(shell pyversions -vr) DEB_HOST_MULTIARCH ?= $(shell dpkg-architecture -qDEB_HOST_MULTIARCH) DEB_HOST_ARCH_OS := $(shell dpkg-architecture -qDEB_HOST_ARCH_OS) NUMJOBS=$(filter parallel=%,$(DEB_BUILD_OPTIONS)) SCONSPARFLAGS=$(subst parallel=,-j, $(NUMJOBS)) DESTDIR=debian/tmp/ %: dh $@ --with python2 build-python%: PYTHON=/usr/bin/python$* override_dh_auto_configure: cp debian/custom.py . build-python%: scons $(SCONSPARFLAGS) prepare-install prepare-devel \ PYTHON=$(PYTHON) \ DOCS=False HAVE_PYDOC=False override_dh_auto_build-arch: $(PYVERS:%=build-python%) install-python%: PYTHON=/usr/bin/python$* install-python%: scons $(SCONSPARFLAGS) install devel-install \ PYTHON=$(PYTHON) \ DOCS=False HAVE_PYDOC=False override_dh_auto_install-arch: $(PYVERS:%=install-python%) override_dh_auto_build-indep: scons $(SCONSPARFLAGS) docs override_dh_auto_install-indep: scons $(SCONSPARFLAGS) install-docs test-unittests: scons $(SCONSPARFLAGS) testsuite/unittests ifeq ($(DEB_HOST_ARCH_OS),hurd) # problems with rpath on hurd LD_LIBRARY_PATH=$(CURDIR)/debian/tmp/usr/lib/$(DEB_HOST_MULTIARCH) testsuite/unittests else testsuite/unittests endif test-python%: python$* ipbori/ipbori -t override_dh_auto_test: test-unittests $(PYVERS:%=test-python%) # Manually cleaning, since upstream is broken (Called before patches apply, too.) override_dh_auto_clean: scons . --keep-going --clean || true dh_auto_clean rm -f custom.py PBORIVER=0.8 PBORIREL=3 override_dh_strip: dh_strip -plibpolybori-${PBORIVER}-${PBORIREL} \ --dbg-package=libpolybori-${PBORIVER}-${PBORIREL}-dbg dh_strip -plibpolybori-groebner-${PBORIVER}-${PBORIREL} \ --dbg-package=libpolybori-groebner-${PBORIVER}-${PBORIREL}-dbg dh_strip -a -Nlibpolybori-${PBORIVER}-${PBORIREL} \ -Nlibpolybori-groebner-${PBORIVER}-${PBORIREL} debian/changelog0000644000000000000000000000736012236013300011034 0ustar polybori (0.8.3-3) unstable; urgency=low * Tests still failed on ia64, fix it for real. * Try a workaround for failing testsuite on hurd due to problems with rpath. -- Tobias Hansen Mon, 04 Nov 2013 22:49:54 +0100 polybori (0.8.3-2) unstable; urgency=low * Protect CErrorInfo::text() against invalid array access. The missing check caused failing tests on ia64 and alpha. -- Tobias Hansen Sun, 03 Nov 2013 22:27:53 +0100 polybori (0.8.3-1) unstable; urgency=low * Add myself to Uploaders with ack from Alexander Dreyer. * Upload to unstable. * polybori-doc breaks and replaces libpolybori-dev (<< 0.8) because of file conflicts. (Closes: #717975) * Link with --as-needed to build on jessie. * Bump Standards-Version to 3.9.4. * Create watch file. * Create doc-base file. * Update debian/copyright. * Update package descriptions. -- Tobias Hansen Sun, 03 Nov 2013 00:37:45 +0100 polybori (0.8.3-1~exp2) experimental; urgency=low * Added missing dependencies for test target * Generate cleaner pkgconfig files (Closes: #702056) * Install convenience header /user/include/polybori.h (Closes: #702056) * debian/patch - 0001-Added-libraries-symlinks-to-testsuite-dependencies-t.patch (new) Added libraries symlinks to testsuite dependencies to ensure that tests can be executed (from upstream) - 0002-Generate-clean-.pc-files-from-upstream.patch (new) Generate cleaner pkgconfig files (Closes: #702056) -- Alexander Dreyer Tue, 12 Mar 2013 11:49:56 +0100 polybori (0.8.3-1~exp1) experimental; urgency=low * Updating to recent Debian standards - supported by Frédéric-Emmanuel Picca * Packaging of PolyBoRi 0.8 by Felix Salfelder - new upstream release - expected to work with gcc-4.7 -- Alexander Dreyer Tue, 8 Jan 2013 09:31:12 +0100 polybori (0.5~rc1-2.1) unstable; urgency=low * Non-maintainer upload. Thanks to Kumar Appaiah for the initial patch. * debian/control: - Add ‘XB-Python-Version: ${python:Version}’, as required by python-central. - Tighten internal package dependencies. * debian/*.install: - Stop referring to particular versions of Python in debian/*.install (closes: #557293). * debian/rules: - Use correct values for RELATIVEPYPREFIX variable. - Pass name of Python-versioned Boost library to scons. * debian/patches/link-with-versioned-boost.diff: - Link to a correct version of Boost library. -- Jakub Wilk Sat, 09 Jan 2010 21:53:54 +0100 polybori (0.5~rc1-2) unstable; urgency=low * Boost 1.39 has removed the "-mt" suffix, so revert the previous change (and update the build dependency to 1.39) (Closes: #545608). -- Tim Abbott Fri, 18 Sep 2009 19:30:17 -0400 polybori (0.5~rc1-1.1) unstable; urgency=low * Non-maintainer upload. * Fix FTBFS with current boost (Closes: #530478). As explained by Steve M. Robbins, single- and multi-threaded variants got dropped, only mt variants are available as of 1.37.0, suffixed with “-mt”. Since the previous filenames aren't specified, make sure a “modern” version of boost headers are used, bumping the versioned build dependency from “>= 1.33” to “>= 1.37”, and tweak SConstruct to use “boost_python-mt” instead of “boost_python” for the LIBS variable, using the following patch: - 01-fix-ftbfs-with-new-boost.diff -- Cyril Brulebois Thu, 02 Jul 2009 17:26:00 +0200 polybori (0.5~rc1-1) unstable; urgency=low * Initial release to Debian (Closes: #480077) -- Tim Abbott Tue, 08 Jul 2008 19:04:16 -0400 debian/libpolybori-dev.install0000644000000000000000000000065712235176725013702 0ustar usr/include/polybori.h usr/include/polybori/*.* usr/include/polybori/cudd usr/include/polybori/cache usr/include/polybori/factories usr/include/polybori/except usr/include/polybori/ring usr/include/polybori/orderings usr/include/polybori/literals usr/include/polybori/iterators usr/include/polybori/common usr/include/polybori/routines usr/include/polybori/diagram usr/lib/*/libpolybori-0.8*.so usr/lib/*/pkgconfig/polybori-0.8.pc debian/copyright0000644000000000000000000001125712235305723011131 0ustar Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: PolyBoRi Upstream-Contact: Alexander Dreyer Source: http://polybori.sourceforge.net/ Files: * Copyright: 2006-2012, Michael Brickenstein 2006-2012, Alexander Dreyer 2006-2012, The PolyBoRi Team License: GPL-2+ This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. . This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. . You should have received a copy of the GNU General Public License along with this package; if not, write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA . On Debian systems, the full text of the GNU General Public License version 2 can be found in the file `/usr/share/common-licenses/GPL-2'. Upstream-Contact: Alexander Dreyer Files: debian/* Copyright: 2008, Tim Abbott 2012, Felix Salfelder 2012-2013, Frédéric-Emmanuel Picca 2008-2012, Alexander Dreyer 2013, Tobias Hansen License: permissive Copying and distribution of this package, with or without modification, are permitted in any medium without royalty provided the copyright notice and this notice are preserved. Files: Cudd/* Copyright: 1995-2012, Regents of the University of Colorado License: BSD-3-clause Copyright (c) 1995-2004, Regents of the University of Colorado . All rights reserved. . Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: . Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. . Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. . Neither the name of the University of Colorado nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission. . THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. Comment: Patched version of The PolyBoRi Team. In addition, to ensure Debian Free Software Guidelines (DFSG) several files were dropped from the original CUDD distribution. Upstream-Contact: Fabio Somenzi Files: PyPolyBoRi/pyparsing.py Copyright: Copyright (c) 2003,2004,2005 Paul T. McGuire License: Expat Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: . The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. . THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. debian/libpolybori-0.8-3.install0000644000000000000000000000004012235176725013553 0ustar usr/lib/*/libpolybori-0.8*.so.* debian/polybori-doc.doc-base0000644000000000000000000000056712235300326013173 0ustar Document: polybori Title: PolyBoRi Master Reference Abstract: The documentation of the PolyBoRi framework and incorporated works. Section: Science/Mathematics Format: HTML Index: /usr/share/doc/polybori/index.html Files: /usr/share/doc/polybori/c++/* /usr/share/doc/polybori/images/* /usr/share/doc/polybori/python/* /usr/share/doc/polybori/tutorial/* debian/patches/0000755000000000000000000000000012236001232010604 5ustar debian/patches/0001-Added-libraries-symlinks-to-testsuite-dependencies-t.patch0000644000000000000000000000124112235176725024402 0ustar From: Alexander Dreyer Date: Mon, 18 Feb 2013 13:44:07 +0100 Subject: Added libraries symlinks to testsuite dependencies to ensure that tests can be executed --- SConstruct | 2 ++ 1 file changed, 2 insertions(+) diff --git a/SConstruct b/SConstruct index 0c30e5d..d13b8c3 100644 --- a/SConstruct +++ b/SConstruct @@ -1252,6 +1252,8 @@ if BOOST_TEST: [BOOST_TEST] + libpbShared + libgbShared + libm4ri + GD_LIBS, CPPDEFINES = ["BOOST_TEST_DYN_LINK"] ) + env.Depends(target, pb_symlinks + gb_symlinks) + test_building(TestsPath("unittests"), testfiles, env) for testfile in testfiles: -- debian/patches/0003-Protect-CErrorInfo-from-invalid-array-access.patch0000644000000000000000000000112612236001232022573 0ustar Description: Protect CErrorInfo::text() against invalid array access * The test suite tests this in PBoRiErrorTest.cc, but the tests failed only on the ia64 and alpha architectures. Author: Tobias Hansen --- a/libpolybori/src/CErrorInfo.cc +++ b/libpolybori/src/CErrorInfo.cc @@ -47,7 +47,7 @@ CErrorInfo::text(errornum_type num) { PBORI_TRACE_FUNC( "CErrorInfo::text(errornum_type) const" ); - if PBORI_UNLIKELY(num > CTypes::last_error) + if PBORI_UNLIKELY(num < 0 || num >= CTypes::last_error) return "Unknown error occured."; return pErrorText[num]; debian/patches/series0000644000000000000000000000025212235537042012034 0ustar 0001-Added-libraries-symlinks-to-testsuite-dependencies-t.patch 0002-Generate-clean-.pc-files-from-upstream.patch 0003-Protect-CErrorInfo-from-invalid-array-access.patch debian/patches/0002-Generate-clean-.pc-files-from-upstream.patch0000644000000000000000000000462412235176725021424 0ustar From: Alexander Dreyer Date: Tue, 12 Mar 2013 11:33:53 +0100 Subject: Generate clean .pc files (from upstream) --- SConstruct | 30 ++++++++++++++++++++---------- 1 file changed, 20 insertions(+), 10 deletions(-) diff --git a/SConstruct b/SConstruct index d13b8c3..8f433bd 100644 --- a/SConstruct +++ b/SConstruct @@ -2027,26 +2027,36 @@ if 'install' in COMMAND_LINE_TARGETS or 'install-docs' in COMMAND_LINE_TARGETS: if pkgconfigdirname: def build_pcfile(target, source, env): localenv = source[0].get_env() - libflags = localenv.subst("$LINKFLAGS $_LIBDIRFLAGS $_LIBFLAGS ${_stripixes(LIBLINKPREFIX, GD_LIBS, LIBLINKSUFFIX, LIBPREFIXES, LIBSUFFIXES, __env__)}"); - libs = ' '.join(set([l.replace('-l','') for l in libflags.split() - if l.startswith('-l')])) + shsfx = localenv.subst('$SHLIBSUFFIX') + versioning = (shsfx.split(env.subst('$SHLIBSUFFIX'))+[''])[0] + shsfx = shsfx.replace(versioning, '') + libpfx = localenv.subst('$LIBPREFIX') + libname = localenv.File(source[0]).name.replace( + libpfx,'').replace(shsfx, '') + + import re + m = re.finditer('(?<='+ libpfx + ')' + libpb_name + '[^ ]*(?=' +\ + shsfx + ')', localenv.subst("$LIBS")) + localdeps = ' '.join([elt.group(0) for elt in m]) + page = """ prefix=$PREFIX exec_prefix=$${prefix} -includedir=$DEVEL_INCLUDE_PREFIX +includedir=$${prefix}/include libdir=$DEVEL_LIB_PREFIX Name: %s Description: The PolyBoRi library URL: http://polybori.sourceforge.net Version: %s -Requires: %s -Cflags: $CXXFLAGS $CCFLAGS $_CCCOMCOM -Libs: %s +Requires: gd m4ri png %s +Cflags: ${INCPREFIX}$${includedir}${INCSUFFIX} +Libs: ${LIBDIRPREFIX}$${libdir}${LIBDIRSUFFIX} ${LIBLINKPREFIX}%s${LIBLINKSUFFIX} """ % (env.File(target[0]).name.replace('.pc',''), - pboriversion + '.' + pborirevision, - libs, libflags) - page = localenv.subst_target_source(page).replace(env.subst("$DESTDIR"),'') + '\n' + pboriversion + '.' + pborirevision, localdeps, + libname) + page = localenv.subst_target_source(page).replace( + env.subst("$DESTDIR"),'') + '\n' open(str(target[0]), 'w').writelines(page) return None -- debian/libpolybori-groebner-dev.install0000644000000000000000000000016212235176725015472 0ustar usr/include/polybori/groebner usr/lib/*/libpolybori_groebner-0.8*.so usr/lib/*/pkgconfig/polybori-groebner-0.8.pc debian/todo0000644000000000000000000001431512235176725010074 0ustar packaging --------- - please remove DM-Upload-Allowed: yes. the procedure changed. > done - full license check with at least licensecheck. Each file of the package should have the right copyright informations. (this is also why embedded libraries is a pain) > I double checked and found files in Cudd, which have unclear licenses. We do not need them, so I removed them and added a Comment to debian/copyright. (Also removed upstream.) - 0005_PolyGUI.patch was commited applyed into the master branch. It would be nice to use gbp-pq to produce the patch series. > The repo is now switched to gbp-pq (was git-gdm, but not consistently) - deal with all remaining bugs from debbug > #636466 (Compatibility with ipython 0.11) is fixed in 0.8.2. - replace Pre-Depends: multiarch-support by Pre-Depends: ${misc:Pre-Depends} > done - add Multi-Arch: same where needed. libpolybori-0.8-2, libpolybori-groebner-0.8-2 > done - add Pre-Depends and Multi-Arch to -dev packages and also the -dbg one > done - if ipbori could be replace by an ipython profile, maybe install this profile under python-polybori binary package and remove the polybori package. > This is not possible, since ipbori does more that a profile could do. For instance, it supports various versions of ipython, which the profile syntax just cannot do. - check that the changelog is ok, 0.8-0, 0.8.2-1~exp0 and 0.8.2-1~exp1 but I have no trace of those 0.8-0 and 0.8.2-1~exp0 into the Debian archive. So fix this by merging the three entries into only one. 0.8.2-1~exp1 and target experimental instead of unstable > Indeed we did not mange to make those variants official, so all three entries are menged into one now. It's also "experimental" now. - remove libpolybori-0.5.0-0.install from the repository (maybe this is just in my own repo ;) > done - please use the same name for the symbol files and the the library one. libpolybori-0.8.symbols -> libpolybori-0.8-2.symbols idem for the other library. > done - in the symbols files you use the wrong version number _Z10error_textP15pbori_DdManager@Base 0.8 this should be the package version (changelog) without the debian version. In your case 0.8.2 > done - instread of override_dh_strip: dh_strip --exclude=groebner --exclude=PyPolyBoRi -plibpolybori-dev --dbg-package=libpolybori-dbg -a dh_strip --exclude=PyPolyBoRi -plibpolybori-groebner-dev --dbg-package=libpolybori-groebner-dbg -a dh_strip -ppython-polybori -a can you use this override_dh_strip: dh_strip -plibpolybori-0.8-2 --dbg-package=libpolybori-0.8-2-dbg dh_strip -plibpolybori-groebner-0.8-2 --dbg-package=libpolybori-groebner-0.8-2-dbg dh_strip -a -Nlibpolybori-0.8-2 -Nlibpolybori-groebner-0.8-2 this seems to me cleaner. (beware to use the right -dbg package name and change them in the control file). > done - once done with the control file it would be very good to check with debian-l10n-english for it's correctness. You can send an email to this mailing list (I do not remember exactly the name but you can find it bu googling), asking for a review of your package (attach the control file and the git repository location). there is english natives which can help and improve a lot the description of the package. It helps me a lot before. >>>>>>>>>> TODO - Build-Depends: debhelper (>= 9), patchutils, scons, python-setuptools, libboost-dev, libboost-python-dev, doxygen, hevea | tex4ht, python-all-dev it seems to me that libboost-dev, patchutils are useless > patchutils removed, but we need more than just python bindings from boost. python-setuptools should be avoid if build-python%: PYTHONSITE=`/usr/bin/python$* -c 'import setuptools; print setuptools.distutils.sysconfig.get_python_lib() '` distutils where use instead build-python%: PYTHONSITE=`/usr/bin/python$* -c 'import distutils.sysconfig; print distutils.sysconfig.get_python_lib() '` > done you depends of hevea | tex4ht is it used by doxygen ?, if not you can remove it > no, we have a LaTeX-based tutorial, which is converted to html using one or the other - your package provide a arch: all package. it would be nice in that case to create an indep part like this one: #!/usr/bin/make -f %: dh $@ override_dh_auto_build-indep: $(MAKE) -C docs # Aucun test nécessaire pour la documentation override_dh_auto_test-indep: override_dh_auto_install-indep: $(MAKE) -C docs install this exemple is taken from the dh manpage. but in your case it seems that you need to avoid compiling the documentation from scons. then you should create a Build-Dep-Indep: doxygen, hevea | tex4ht this is better when it comes to do binary NMU. the arch all part is not modified. >>>>>>>>> TODO upstream -------- - remove the embeded M4RI > This will be done, but first we need to figure out a convenient way how to obtain libm4ri, if it is not available on the system. - Cudd package or not package ? > no, we forked it, it's not compatible - some part of the python code do not follow the pep8 recommendations. indented with 2 spaces instead of 4. > done (also patched into the package.) - why not using QtDesigner instead of hard coding the ui part ? > when it's getting more complex. Now it's just a small python script. - ipbori can be an ipython profile instead of a dedicated binary ? > no (see above) - integrate the .desktop file in the upstream installation process. this way it can be usefull to other distributions. > done - rename polybori.pc into polybori-0.8.pc this is much more consistant with the current naming schema. idem for the other library. > done - maybe add an option for the documentation compilation only. >>>>>>>>> TODO > First, we have to separate the python modules documentation (not platform independend) from the doxygen/LaTeX-based stuff. I'm also not sure whther the doxygen-based stuff in platform independent, since it also analyzes polybori/config.hdebian/source/0000755000000000000000000000000012235176725010500 5ustar debian/source/format0000644000000000000000000000001412235176725011706 0ustar 3.0 (quilt) debian/watch0000644000000000000000000000014012235276742010224 0ustar version=3 http://sf.net/polybori/polybori-([0-9.]+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz))) debian/custom.py0000644000000000000000000000110512235176725011061 0ustar INSTALLDIR = "$DESTDIR/usr/share/polybori" MANDIR = "$DESTDIR/usr/share/man" PREFIX = "$DESTDIR/usr" EPREFIX = "$DESTDIR/usr/bin" DOCDIR = "$DESTDIR/usr/share/doc/polybori" DESKTOPPATH = "$DESTDIR/usr/share/applications/" PKGCONFIGPATH="$DEVEL_LIB_PREFIX/pkgconfig/" M4RIURL='' from os import environ LINKFLAGS = environ.get("LDFLAGS", '') CCFLAGS = environ.get("CPPFLAGS", '') CFLAGS = environ.get("CFLAGS", '') CXXFLAGS = environ.get("CXXFLAGS", '') DESTDIR = environ.get("DESTDIR", 'debian/tmp') DEVEL_LIB_PREFIX = "$DESTDIR/usr/lib/" + environ.get("DEB_HOST_MULTIARCH", '') debian/python-polybori.install0000644000000000000000000000002212235176725013740 0ustar usr/lib/python*/ debian/polybori.manpages0000644000000000000000000000005012235303041012526 0ustar debian/tmp/usr/share/man/man1/ipbori*.1 debian/polybori-doc.install0000644000000000000000000000001712235176725013170 0ustar usr/share/doc debian/compat0000644000000000000000000000000212235176725010376 0ustar 9 debian/control0000644000000000000000000002467412235275703010614 0ustar Source: polybori Maintainer: Debian Science Maintainers Uploaders: Alexander Dreyer , Felix Salfelder , Tobias Hansen Section: math Priority: extra Build-Depends: debhelper (>= 9), scons, libboost-dev, libboost-python-dev, libboost-test-dev, libm4ri-dev (>= 20120613), python-all-dev, libgd2-xpm-dev, libjpeg-dev Build-Depends-Indep: doxygen, dvipng, tex4ht, texlive-fonts-recommended, texlive-latex-base, texlive-latex-extra, texlive-latex-recommended Standards-Version: 3.9.4 Vcs-Browser: http://anonscm.debian.org/gitweb/?p=debian-science/packages/polybori.git Vcs-Git: git://anonscm.debian.org/debian-science/packages/polybori.git Homepage: http://polybori.sourceforge.net/ X-Python-Version: >= 2.6 Package: polybori Architecture: any Section: python Depends: ${shlibs:Depends}, ${misc:Depends}, ipython, python-polybori (= ${binary:Version}), ${python:Depends} Provides: polybori Description: polynomials over Boolean Rings, custom ipython shell 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 a Python interface is provided. 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's shell ipbori. Package: polybori-gui Architecture: any Section: python Depends: ${shlibs:Depends}, ${misc:Depends}, python-qt4, python-polybori (= ${binary:Version}), ${python:Depends} Description: polynomials over Boolean Rings, GUI 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 a Python interface is provided. 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's PolyGUI. Package: python-polybori Architecture: any Section: python Depends: ${shlibs:Depends}, ${misc:Depends}, libpolybori-0.8-3 (= ${binary:Version}), libpolybori-groebner-0.8-3 (= ${binary:Version}), ${python:Depends} 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 a Python interface is provided. 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. Package: libpolybori-dev Architecture: any Section: libdevel Depends: ${misc:Depends}, libpolybori-0.8-3 (= ${binary:Version}) Description: polynomials over Boolean Rings, core 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 a Python interface is provided. 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 core development files. Package: libpolybori-0.8-3 Architecture: any Multi-Arch: same Section: libs Depends: ${shlibs:Depends}, ${misc:Depends} Suggests: polybori-doc (= ${binary:Version}) Pre-Depends: ${misc:Pre-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 a Python interface is provided. 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 library libpolybori. Package: libpolybori-0.8-3-dbg Architecture: any Multi-Arch: same Section: debug Depends: ${misc:Depends}, libpolybori-0.8-3 (= ${binary:Version}) Description: debug symbols for libpolybori-0.8-3 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 a Python interface is provided. 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 debugging symbols of PolyBoRi's shared libraries. Package: libpolybori-groebner-dev Architecture: any Section: libdevel Depends: ${misc:Depends}, libpolybori-groebner-0.8-3 (= ${binary:Version}) Breaks: libpolybori-dev (<< 0.8) Replaces: libpolybori-dev (<< 0.8) Description: development files for libpolybori-groebner 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 a Python interface is provided. 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 development files for libpolybori-groebner. Package: libpolybori-groebner-0.8-3 Architecture: any Multi-Arch: same Section: libs Depends: ${shlibs:Depends}, ${misc:Depends}, libpolybori-0.8-3 (= ${binary:Version}) Suggests: polybori-doc (= ${binary:Version}) Pre-Depends: ${misc:Pre-Depends} Breaks: libpolybori (<< 0.8) Replaces: libpolybori (<< 0.8) Description: computer algebra routines of PolyBoRi 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 a Python interface is provided. 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 library libpolybori_groebner. Package: libpolybori-groebner-0.8-3-dbg Architecture: any Multi-Arch: same Section: debug Depends: ${misc:Depends}, libpolybori-groebner-0.8-3 (= ${binary:Version}) Description: debug symbols for libpolybori-groebner-0.8-3 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 a Python interface is provided. 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 debugging symbols of PolyBoRi's shared library libpolybori-groebner. Package: polybori-doc Architecture: all Section: doc Depends: ${misc:Depends} Breaks: libpolybori-dev (<< 0.8) Replaces: libpolybori-dev (<< 0.8) Description: polynomials over Boolean Rings, documentation 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 a Python interface is provided. 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 documentation. debian/gbp.conf0000644000000000000000000000003612235176725010616 0ustar [DEFAULT] pristine-tar = True debian/polybori-gui.manpages0000644000000000000000000000005112235303041013311 0ustar debian/tmp/usr/share/man/man1/PolyGUI*.1 debian/polybori.install0000644000000000000000000000005312235301422012405 0ustar usr/bin/ipbori* usr/share/polybori/ipbori/ debian/libpolybori-groebner-0.8-3.install0000644000000000000000000000005112235176725015356 0ustar usr/lib/*/libpolybori_groebner-0.8*.so.*