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