Pakiet: packup (0.6-3.1)

Odnośniki dla packup

Śledzenie łatek systemu eLxr

Pobieranie pakietu źródłowego packup:

Opiekun:

Ralf Treinen

Podobne pakiety:

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.

Inne pakiety związane z packup

wymaga

poleca

sugeruje

enhances

dep: libc6 (>= 2.14)

GNU C Library: Shared libraries
również pakiet wirtualny udostępniany przez libc6-udeb
dep: libgcc-s1 (>= 3.0)

GCC support library
dep: libgmp10 (>= 2:6.2.1+dfsg1)

Multiprecision arithmetic library
dep: libgmpxx4ldbl (>= 2:6.2.1+dfsg1)

Multiprecision arithmetic library (C++ bindings)
dep: libstdc++6 (>= 11)

GNU Standard C++ Library v3
dep: minisat+

solver for pseudo-Boolean constraints
dep: zlib1g (>= 1:1.1.4)

compression library - runtime

Pobieranie packup

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	84,8 KiB	249,0 KiB	[lista plików]