Package: packup
Priority: extra
Section: universe/admin
Installed-Size: 237
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 0.6-3.2
Provides: cudf-solver
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libgmp10 (>= 2:6.3.0+dfsg), libgmpxx4ldbl (>= 2:6.3.0+dfsg), libstdc++6 (>= 13.1), zlib1g (>= 1:1.1.4), minisat+
Filename: pool/universe/p/packup/packup_0.6-3.2_amd64.deb
Size: 91902
SHA512: 74fd8ff71d7a0834bc9f75299053270ef86aba2924484e348617e747df4003e0fb61493f4e8827f1edd6bdc1204f0f172b8dd420658682df0c01064a0e4e0981
Homepage: https://sat.inesc-id.pt/~mikolas/sw/packup/
Description: CUDF solver based on pseudo-Boolean constraints
Description-md5: 00d1f4f5805e71cbd6c8b8a6251f8e13
Original-Maintainer: Ralf Treinen <treinen@debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug