Package: packup
Architecture: amd64
Version: 0.6-3.1
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: 228
Provides: cudf-solver
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libgmp10 (>= 2:6.2.1+dfsg), libgmpxx4ldbl (>= 2:6.2.1+dfsg), libstdc++6 (>= 11), zlib1g (>= 1:1.1.4), minisat+
Filename: pool/universe/p/packup/packup_0.6-3.1_amd64.deb
Size: 86004
MD5sum: c4a8b881b6a28c627a0ee0348013d217
SHA1: 9a678a324971dc50b99507aaa265da947aa67fc3
SHA256: d96772808074edc3f28c6a6422e1de0f4f0e800115117bc5d5d1211078cc9cc5
SHA512: 3ffd5b261de2f639304a914ad118be68dc570ef591fd4af277bf44d54d6dbd8aaa838ca76bb3a599bcd882d0da963671f42d4ac4b374c152095aaa28cd3349cf
Description: CUDF solver based on pseudo-Boolean constraints
Description-md5: 00d1f4f5805e71cbd6c8b8a6251f8e13