Paquet : packup (0.6-3.1 et autres)

Liens pour packup

Suivis des correctifs pour eLxr

Télécharger le paquet source packup :

Responsable :

Ralf Treinen

Paquets similaires :

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.

Autres paquets associés à packup

dépendances

recommandations

suggestions

enhances

dep: libc6 (>= 2.38)

GNU C Library: Shared libraries
un paquet virtuel est également fourni par libc6-udeb
dep: libgcc-s1 (>= 3.0)

GCC support library
dep: libgmp10 (>= 2:6.3.0+dfsg)

Multiprecision arithmetic library
dep: libgmpxx4ldbl (>= 2:6.3.0+dfsg)

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

GNU Standard C++ Library v3
dep: minisat+

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

compression library - runtime

Télécharger packup

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
arm64	0.6-3.1+b1	81,3 ko	278,0 ko	[liste des fichiers]