Package: libbrial-groebner-dev Architecture: amd64 Version: 1.2.7-1build1 Priority: extra Section: universe/libdevel Source: brial Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian Science Maintainers Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 286 Depends: libbrial-groebner3 (= 1.2.7-1build1), libbrial-dev Breaks: libpolybori-dev (<< 0.8), libpolybori-groebner-dev (<< 0.8.5) Replaces: libpolybori-dev (<< 0.8), libpolybori-groebner-dev (<< 0.8.5) Filename: pool/universe/b/brial/libbrial-groebner-dev_1.2.7-1build1_amd64.deb Size: 42124 MD5sum: 6a6022771c2a86768db6da9332931ac5 SHA1: 3a70bf5bf87a0d591bcc2293567ca6c2a437bdf6 SHA256: 2cab6976346ac02f932377b39ef90f5546434b76c9c5bc2d2e39d1d7e44d00a6 Homepage: https://github.com/BRiAl Description: development files for libbrial-groebner Description-md5: 06b76f7f1667b2f0b3f088ab64c02c58