Package - packup
Primary informations
Download package: http://deb.debian.org/debian/pool/main/p/packup/packup_0.6-3.1_amd64.deb (Size: 84.8KiB)| Property | Value |
|---|---|
| Package | packup |
| Version | 0.6-3.1 |
| Installed-Size | 249 |
| Maintainer | Ralf Treinen |
| Architecture | amd64 |
| Provides | cudf-solver |
| Depends | libc6 (>= 2.14), libgcc-s1 (>= 3.0), libgmp10 (>= 2:6.2.1+dfsg1), libgmpxx4ldbl (>= 2:6.2.1+dfsg1), libstdc++6 (>= 11), zlib1g (>= 1:1.1.4), minisat+ |
| Description | CUDF solver based on pseudo-Boolean constraints |
| Description-md5 | 00d1f4f5805e71cbd6c8b8a6251f8e13 |
| Tag | role::program |
| Section | admin |
| Priority | optional |
| Filename | pool/main/p/packup/packup_0.6-3.1_amd64.deb |
| Size | 86828 |
| MD5sum | c96b1327ad16e75ede8a6e77cc82ca92 |
| SHA256 | 1b91456cdf2fb24adfd02b78c5ec4082c8e604d1136fbac0905cdd503ff5799d |
Files in package
- /usr/bin/packup
- /usr/share/cudf/solvers/packup
- /usr/share/doc/packup/changelog.Debian.gz
- /usr/share/doc/packup/copyright
- /usr/share/man/man1/packup.1.gz