Package: packup
Architecture: amd64
Version: 0.6-3build1
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: 268
Provides: cudf-solver
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libgmp10, libgmpxx4ldbl, libstdc++6 (>= 5.2), zlib1g (>= 1:1.1.4), minisat+
Filename: pool/universe/p/packup/packup_0.6-3build1_amd64.deb
Size: 89708
MD5sum: 0b7eb980fcb71423bf7df5a78b5777e0
SHA1: e6ac3ca74ffb4efb76b5c4dfbfa57ba745e1e587
SHA256: e9231faa62896a78fca133eec9402c3a1eb1a75995ac12170d85ad7c78d75a59
SHA512: 3e3fa3a97a868ac282d9ff439c0c7d1a2c0a7b9f1cf85c4502da8b92d77ee7cbac3b846f5e8262cec9bf2cf1d1322b2381c582345c1d705ee81e5049da20be83
Description: CUDF solver based on pseudo-Boolean constraints
Description-md5: 00d1f4f5805e71cbd6c8b8a6251f8e13