Package: packup Priority: extra Section: universe/admin Installed-Size: 303 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Ralf Treinen <treinen@debian.org> Architecture: amd64 Version: 0.6-2 Provides: cudf-solver Depends: libc6 (>= 2.14), libgcc1 (>= 1:4.1.1), libgmp10, libgmpxx4ldbl, libstdc++6 (>= 4.4.0), zlib1g (>= 1:1.1.4), minisat+ Filename: pool/universe/p/packup/packup_0.6-2_amd64.deb Size: 109694 MD5sum: 3f81bc0d916d0bc86c106580b1b71222 SHA1: e31d2f9a617b0059b4c878285ea6616b67a92875 SHA256: c9b3bcc588175a5be4e7037905d300ceb13919b8d133f07536ef5e6804039d99 Description: CUDF solver based on pseudo-Boolean constraints Homepage: http://sat.inesc-id.pt/~mikolas/sw/packup/ Description-md5: 00d1f4f5805e71cbd6c8b8a6251f8e13 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu