deb_control_files:
- control
- md5sums
deb_fields:
Architecture: arm64
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.0), libgmp10 (>= 2:6.3.0+dfsg), libgmpxx4ldbl
(>= 2:6.3.0+dfsg), libstdc++6 (>= 13.1), zlib1g (>= 1:1.1.4), minisat+
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.
Installed-Size: '277'
Maintainer: Ralf Treinen <treinen@debian.org>
Package: packup
Priority: extra
Provides: cudf-solver
Section: admin
Version: 0.6-3.1
srcpkg_name: packup
srcpkg_version: 0.6-3.1
Relation | Direction | Type | Name | |
---|---|---|---|---|
built-using | Source package | packup_0.6-3.1 |
|
|
built-using | Binary package | dpkg-dbgsym_1.22.12~1.gbp82cafd_arm64 |
|
|
built-using | Binary package | dpkg_1.22.12~1.gbp82cafd_arm64 |
|
|
built-using | Binary package | dselect-dbgsym_1.22.12~1.gbp82cafd_arm64 |
|
|
built-using | Binary package | dselect_1.22.12~1.gbp82cafd_arm64 |
|
|
built-using | Binary package | libdpkg-dev_1.22.12~1.gbp82cafd_arm64 |
|
|
built-using | Binary package | dpkg-dev_1.22.12~1.gbp82cafd_all |
|
|
built-using | Binary package | libdpkg-perl_1.22.12~1.gbp82cafd_all |
|
|
extends | Package upload | packup_0.6-3.1 |
|