Package: packup Architecture: i386 Version: 0.6-3 Priority: extra Section: universe/admin Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Ralf Treinen Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 248 Provides: cudf-solver Depends: libc6 (>= 2.4), libgcc1 (>= 1:3.0), libgmp10, libgmpxx4ldbl, libstdc++6 (>= 5.2), zlib1g (>= 1:1.1.4), minisat+ Filename: pool/universe/p/packup/packup_0.6-3_i386.deb Size: 90686 MD5sum: c1c7b0d875043eaeb7773b9ebd66401e SHA1: a98b9d7fef40fbb0099f2fc448ad84d6111516e1 SHA256: 0e76372ada0cfc2543e7099611047c8506ad35238f40cc289d5304b185576722 Description: CUDF solver based on pseudo-Boolean constraints Description-md5: 00d1f4f5805e71cbd6c8b8a6251f8e13