Package: depqbf Priority: extra Section: universe/interpreters Installed-Size: 153 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Architecture: amd64 Version: 2.0-1 Depends: libc6 (>= 2.14) Filename: pool/universe/d/depqbf/depqbf_2.0-1_amd64.deb Size: 62890 MD5sum: c0f5f1081aad6d7be615fdbfd38f05de SHA1: a1035ed164ce59373b26d8cdd95f19922a7f4cde SHA256: e6cbc926831850341c11c9a06ca8125e9e084a6c18e75341a6fa87c1099fd06f Description: solver for quantified boolean formulae Homepage: http://lonsing.github.com/depqbf/ Description-md5: 800bcc7a2bdea9545c4c8eb5c65df5f0 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu