Package - packup

Package:  packup
apt-get install packup
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/p/packup/packup_0.6-3.1_amd64.deb (Size: 84.8KiB)

PropertyValue
Packagepackup
Version0.6-3.1
Installed-Size249
MaintainerRalf Treinen
Architectureamd64
Providescudf-solver
Dependslibc6 (>= 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+
DescriptionCUDF solver based on pseudo-Boolean constraints
Description-md500d1f4f5805e71cbd6c8b8a6251f8e13
Tagrole::program
Sectionadmin
Priorityoptional
Filenamepool/main/p/packup/packup_0.6-3.1_amd64.deb
Size86828
MD5sumc96b1327ad16e75ede8a6e77cc82ca92
SHA2561b91456cdf2fb24adfd02b78c5ec4082c8e604d1136fbac0905cdd503ff5799d

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