Package: libbrial-groebner-dev
Architecture: amd64
Version: 1.2.11-1
Priority: extra
Section: universe/libdevel
Source: brial
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 285
Depends: libbrial-groebner3 (= 1.2.11-1), 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.11-1_amd64.deb
Size: 42616
MD5sum: ff12fc1453f8c6c74b48f8df229d75ac
SHA1: 62d00255adeda1a337e3b6c11cb31f848fff2dbe
SHA256: eaa7b1c8f685af365d13f40977654adfd567c48e14d62cbc1d25c208e1e5ba60
SHA512: 6a4a6519e4602221956f53d081fb55eb5f530a77ebfd581a4a5e1fcc9ef1f63b3c02a7e8dd0f0e961701189f4f18c09df0f304402b965993550a5d0b93850cb4
Homepage: https://github.com/BRiAl
Description: development files for libbrial-groebner
Description-md5: 06b76f7f1667b2f0b3f088ab64c02c58