-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 3.0 (quilt)
Source: polybori
Binary: polybori, polybori-gui, python-polybori, libpolybori-dev, libpolybori-0.8-3, libpolybori-0.8-3-dbg, libpolybori-groebner-dev, libpolybori-groebner-0.8-3, libpolybori-groebner-0.8-3-dbg, polybori-doc
Architecture: any all
Version: 0.8.3-1~exp1
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Alexander Dreyer <adreyer@gmx.de>, Felix Salfelder <felix@salfelder.org>
Homepage: http://polybori.sourceforge.net/
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
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
Package-List: 
 libpolybori-0.8-3 deb libs extra
 libpolybori-0.8-3-dbg deb debug extra
 libpolybori-dev deb libdevel extra
 libpolybori-groebner-0.8-3 deb libs extra
 libpolybori-groebner-0.8-3-dbg deb debug extra
 libpolybori-groebner-dev deb libdevel extra
 polybori deb python extra
 polybori-doc deb doc extra
 polybori-gui deb python extra
 python-polybori deb python extra
Checksums-Sha1: 
 7817ed8de6d6f073d88d7821e53dbe9c6e610e82 2331794 polybori_0.8.3.orig.tar.gz
 59bd60d5528af0ff6aacaab53294d4c660a0912a 8250 polybori_0.8.3-1~exp1.debian.tar.gz
Checksums-Sha256: 
 9f60ba706e565e417ca8300a8d3f0596d1e4ded020502f114092fd846637a8f0 2331794 polybori_0.8.3.orig.tar.gz
 1e1d1670ae8d53dc55cf03d9a7967d65bc3c72f1476c55e43ca67de0616be7bc 8250 polybori_0.8.3-1~exp1.debian.tar.gz
Files: 
 cc6bfa1eff0727ccd5e70e518c69dcca 2331794 polybori_0.8.3.orig.tar.gz
 91b42c662ad16a4d20dc9508d3832b68 8250 polybori_0.8.3-1~exp1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iEYEARECAAYFAlEfaKUACgkQtqm6aqWbEXGjDQCeOHUNrSLaMooo/vdY4H3aZLAC
0m8AnRZe24bTEb4Q51jbayko5j7TWXys
=WXh7
-----END PGP SIGNATURE-----
