Package: depqbf
Architecture: i386
Version: 5.01-1
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: 629
Depends: libc6 (>= 2.4)
Filename: pool/universe/d/depqbf/depqbf_5.01-1_i386.deb
Size: 157936
MD5sum: f83c2c4bef40e276ec53ce6f06ab6478
SHA1: 17f07c73ee3cf7c8e1edd79eeb357caa3145a6f8
SHA256: b7e4cb99c7025ebf2066bdd58b7149bcea579247d2b53ad06d7b645a94ac42dd
Homepage: http://lonsing.github.com/depqbf/
Description: solver for quantified boolean formulae
Description-md5: 800bcc7a2bdea9545c4c8eb5c65df5f0