- libc6 (>= 2.17)
- libgcc-s1 (>= 3.0)
- libgmp10 (>= 2:6.2.1+dfsg1)
- libgmpxx4ldbl (>= 2:6.2.1+dfsg1)
- libstdc++6 (>= 11)
- zlib1g (>= 1:1.1.4)
- minisat+
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: 242.7 kB
Architectures: amd64 arm64