Source: packup
Section: admin
Priority: extra
Maintainer: Ralf Treinen <treinen@debian.org>
Build-Depends: debhelper (>= 10), libgmp-dev, zlib1g-dev
Standards-Version: 3.9.8
Vcs-Git: https://anonscm.debian.org/git/collab-maint/packup.git
Vcs-Browser: https://anonscm.debian.org/?p=collab-maint/packup.git;a=summary

Package: packup
Architecture: any
Depends: ${misc:Depends}, ${shlibs:Depends}, minisat+
Provides: cudf-solver
Description: CUDF solver based on pseudo-Boolean constraints
 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.