1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
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.
|
