Package: depqbf Architecture: amd64 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: 675 Depends: libc6 (>= 2.14) Filename: pool/universe/d/depqbf/depqbf_5.01-1_amd64.deb Size: 137400 MD5sum: cdedd975fdf8ad555a7f97f70fd2bf7e SHA1: 7e317a6aae375b01082d97ecb202a75ae98bcd82 SHA256: 0f098a4c2b3438fb721511c5f9e77afad549376cae8674af1e71cc8b227e3576 Homepage: http://lonsing.github.com/depqbf/ Description: solver for quantified boolean formulae Description-md5: 800bcc7a2bdea9545c4c8eb5c65df5f0