Package: packup
Priority: extra
Section: universe/admin
Installed-Size: 290
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Ralf Treinen <treinen@debian.org>
Architecture: i386
Version: 0.6-2
Provides: cudf-solver
Depends: libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libgmp10, libgmpxx4ldbl, libstdc++6 (>= 4.4.0), zlib1g (>= 1:1.1.4), minisat+
Filename: pool/universe/p/packup/packup_0.6-2_i386.deb
Size: 107490
MD5sum: c7d1f278500ab568ed87a4534045c89c
SHA1: 9d92c722abdc3aa89647a5a0f8e4dea5d3266e34
SHA256: 86c2b6f24d0134e9019cea52996772f280da36ac34eeefe8c6e652be29987ebf
Description: CUDF solver based on pseudo-Boolean constraints
Homepage: http://sat.inesc-id.pt/~mikolas/sw/packup/
Description-md5: 00d1f4f5805e71cbd6c8b8a6251f8e13
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu