packup binary package in Ubuntu Xenial s390x
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.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2015-12-05 01:46:34 UTC | Published | Ubuntu Xenial s390x | release | universe | admin | Extra | 0.6-2 | ||
|