[ Paquet source : packup ]
Paquet : packup (0.6-3.1)
Liens pour packup
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source packup :
Responsable :
Paquets similaires :
solveur CUDF basé sur les contraintes pseudo booléennes
Packup est un solveur pour le problème, stipulé au format CUDF, de mise à niveau de paquet. Il invoque de manière répétée un solveur d’optimisation pseudo booléenne pour résoudre le problème. Par défaut, minisat+ est utilisé pour cela, mais un solveur différent peut l’être en indiquant l’option afférente de ligne de commande.
Autres paquets associés à packup
|
|
|
|
-
- dep: libc6 (>= 2.14) [amd64]
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- dep: libc6 (>= 2.7) [non amd64, arm64, ppc64el]
-
- dep: libgcc-s1 (>= 3.0) [non armel, armhf]
- bibliothèque de prise en charge de GCC
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
-
- dep: libgmp10 (>= 2:6.2.1+dfsg1)
- Bibliothèque arithmétique à multi-précision
-
- dep: libgmpxx4ldbl (>= 2:6.2.1+dfsg1)
- bibliothèque arithmétique multiprécision - points d'entrée C++
-
- dep: libstdc++6 (>= 11)
- bibliothèque standard C++ de GNU v3
-
- dep: minisat+
- solveur de contraintes pseudo booléennes
-
- dep: zlib1g (>= 1:1.1.4)
- Bibliothèque de compression - binaires
Télécharger packup
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
amd64 | 84,8 ko | 249,0 ko | [liste des fichiers] |
arm64 | 77,3 ko | 237,0 ko | [liste des fichiers] |
armel | 71,3 ko | 208,0 ko | [liste des fichiers] |
armhf | 73,3 ko | 156,0 ko | [liste des fichiers] |
i386 | 91,3 ko | 256,0 ko | [liste des fichiers] |
mips64el | 85,5 ko | 337,0 ko | [liste des fichiers] |
mipsel | 85,8 ko | 316,0 ko | [liste des fichiers] |
ppc64el | 92,7 ko | 341,0 ko | [liste des fichiers] |
s390x | 78,1 ko | 261,0 ko | [liste des fichiers] |