packup - CUDF solver based on pseudo-Boolean constraints

Property Value
Distribution Ubuntu 19.04 (Disco Dingo)
Repository Ubuntu Universe amd64
Package filename packup_0.6-3_amd64.deb
Package name packup
Package version 0.6
Package release 3
Package architecture amd64
Package type deb
Category universe/admin
Homepage -
License -
Maintainer Ubuntu Developers <>
Download size 89.61 KB
Installed size 260.00 KB
packup is a solver for the package upgradability problem specified in
the CUDF format. It repeatedly invokes an optimization pseudo-Boolean
solver in order to solve the problem. By default minisat+ is used for
that purpose but a different solver can be used by specifying the
pertaining command line option.


Package Version Architecture Repository
packup_0.6-3_i386.deb 0.6 i386 Ubuntu Universe
packup - - -


Name Value
libc6 >= 2.14
libgcc1 >= 1:3.0
libgmp10 -
libgmpxx4ldbl -
libstdc++6 >= 5.2
minisat+ -
zlib1g >= 1:1.1.4


Name Value
cudf-solver -


Type URL
Binary Package packup_0.6-3_amd64.deb
Source Package packup

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install packup deb package:
    # sudo apt-get install packup




2016-12-20 - Ralf Treinen <>
packup (0.6-3) unstable; urgency=medium
* patch c++11: compliance with the C++11 standard. This fixes FTBFS with
gcc-6. Thanks a lot to Mikoláš Janota for the patch (closes:  #811793).
* debian/copyright: machine-readable format 1.0
* Standards-Version 3.9.8 (no change)
* Fixed spelling error in changelog entry of 0.6-2.
* Debhelper compatibility level 10:
- bump debian/compat
- bump build-dependency on debhelper
* Vcs-{Git,Browser}: use secure URI
* Dropped debian/svn-deblayout
* Fix trivial spelling mistake in
* Add simple as-installed package test
2013-05-30 - Ralf Treinen <>
packup (0.6-2) unstable; urgency=low
* Migrate to git:
- update Vcs-* fields in debian/control
- add debian/gbp.conf with pristine-tar=true
* Standards-Version 3.9.4 (no change)
* Debhelper compatibility level 9:
- update debian/compat
- bump version of build-dependency on debhelper
* patch make-environment: proper usage of the build-environment by
upstream's Makefile (fixes missing hardening flags).
2011-06-15 - Ralf Treinen <>
packup (0.6-1) unstable; urgency=low
* New upstream release.
2011-06-10 - Ralf Treinen <>
packup (0.5-3) unstable; urgency=low
* Remove wrapper since no longer needed
* Use interpolation variables in solver specification file, add description
2011-06-06 - Ralf Treinen <>
packup (0.5-2) unstable; urgency=low
* Install specification file into /usr/share/cudf/solvers.
2011-05-27 - Ralf Treinen <>
packup (0.5-1) unstable; urgency=low
* Initial release (closes: #627973)

See Also

Package Description
pacman4console_1.3-1build3_amd64.deb ncurses-based pacman game
pacman_10-17.2_amd64.deb Chase Monsters in a Labyrinth
paco_0.10-1.1_all.deb Transitional package to pull in porg
pacpl_6.1.0-1_all.deb multi-purpose audio converter/ripper/tagger script
pads_1.2-11.1ubuntu2_amd64.deb Passive Asset Detection System
padthv1-common_0.8.6-1_amd64.deb old-school polyphonic additive synthesizer - common files
padthv1-lv2_0.8.6-1_amd64.deb old-school polyphonic additive synthesizer - LV2 plugin
padthv1_0.8.6-1_amd64.deb old-school polyphonic additive synthesizer - standalone app
paexec_1.1.0-1_amd64.deb execute tasks in parallel
page-crunch_1.0.1-3_all.deb PDF and PS manipulation for printing needs
pagein_0.01.01-1_amd64.deb tool to force swapped out pages to be resident in memory
pagekite_0.5.9.3-2_all.deb Make localhost servers publicly visible
pagemon_0.01.14-1_amd64.deb interactive memory/page monitoring tool
pages2epub_0.9.6-2_amd64.deb Apple Pages to EPUB converter
pages2odt_0.9.6-2_amd64.deb Apple Pages text documents to OpenDocument converter