Package: libpolybori-groebner-dev
Priority: extra
Section: universe/libdevel
Installed-Size: 291
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: i386
Source: polybori
Version: 0.8.3-5build1
Replaces: libpolybori-dev (<< 0.8)
Depends: libpolybori-groebner-0.8-3 (= 0.8.3-5build1), libpolybori-dev
Breaks: libpolybori-dev (<< 0.8)
Filename: pool/universe/p/polybori/libpolybori-groebner-dev_0.8.3-5build1_i386.deb
Size: 43412
MD5sum: 78a790604a56cf73fb0fe5066e5902ba
SHA1: 5769e7758dcfcfe43dee8def891c0ee11e34ee44
SHA256: 144728712c12711bf0b85ead183ac0b9432aa09f51c1e21c964ce4d06e99f8fd
Description: development files for libpolybori-groebner
Homepage: http://polybori.sourceforge.net/
Description-md5: 133e1595fcf52a6630dfebde46994a0a
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu