Package: depqbf
Architecture: amd64
Version: 5.01-3
Priority: extra
Section: universe/interpreters
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: 674
Depends: libc6 (>= 2.14)
Filename: pool/universe/d/depqbf/depqbf_5.01-3_amd64.deb
Size: 136700
MD5sum: c57eff337b08c2d67aa29305d59f016f
SHA1: c958f8eb6dd955cabdb3eff84b2927b3ccdb3820
SHA256: 8f2d715d6cdbbb2c9c519997a7964e4c2486f3e34a6226c5c84b06e48dc51d9c
Homepage: https://lonsing.github.io/depqbf/
Description: solver for quantified boolean formulae
Description-md5: 800bcc7a2bdea9545c4c8eb5c65df5f0