Package: picosat Priority: extra Section: universe/science Installed-Size: 777 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Michael Tautschnig <mt@debian.org> Architecture: amd64 Version: 960-1 Depends: libc6 (>= 2.14) Filename: pool/universe/p/picosat/picosat_960-1_amd64.deb Size: 122050 MD5sum: 458999dada3e5920a7541c4fb1ce8539 SHA1: 9ac3bf5f844dca194f667528f63f682e7f27b8d9 SHA256: 9f6c5e313522a3fca97e5e2f76c99e6fa047a578939eacc83a74940c04e33753 Description: SAT solver with proof and core support Homepage: http://fmv.jku.at/picosat/ Description-md5: da3bd387c3a4f3fabebfc27b3fad967b Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu