Package: packup
Architecture: i386
Version: 0.6-3
Priority: extra
Section: universe/admin
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Ralf Treinen <treinen@debian.org>
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