Package: depqbf
Priority: extra
Section: universe/interpreters
Installed-Size: 629
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: i386
Version: 5.0-1
Depends: libc6 (>= 2.4)
Filename: pool/universe/d/depqbf/depqbf_5.0-1_i386.deb
Size: 158414
MD5sum: 0c6d8e289b9830c5a987d3596938d88e
SHA1: 8d92ef3608504e337f5d19b5f35db1a9a4a618e5
SHA256: c7b59680474ad570d9c4172328943dc3f74e05f6bb87adf55c077bea0cc4840f
Description: solver for quantified boolean formulae
Homepage: http://lonsing.github.com/depqbf/
Description-md5: 800bcc7a2bdea9545c4c8eb5c65df5f0
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu