Package: libpolybori-groebner-dev Priority: extra Section: universe/libdevel Installed-Size: 268 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Architecture: amd64 Source: polybori Version: 0.8.3-3 Replaces: libpolybori-dev (<< 0.8) Depends: libpolybori-groebner-0.8-3 (= 0.8.3-3) Breaks: libpolybori-dev (<< 0.8) Filename: pool/universe/p/polybori/libpolybori-groebner-dev_0.8.3-3_amd64.deb Size: 51366 MD5sum: c708fba07ef9a1777ccf5366871cfec5 SHA1: b22ff8a0da9dd7039087274e5e72f7b5ac7f2425 SHA256: e483e371f508b90400be57d2ad012c8b1da0807de00b61507f6521733e860076 Description: development files for libpolybori-groebner Homepage: http://polybori.sourceforge.net/ Description-md5: 133e1595fcf52a6630dfebde46994a0a Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu