toutes les options
bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Paquet source : packup  ]

Paquet : packup (0.6-3.2 et autres)

Liens pour packup

Screenshot

Ressources Debian :

Télécharger le paquet source packup :

Responsable :

Ressources externes :

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

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger packup

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
amd64 0.6-3.2 90,3 ko262,0 ko [liste des fichiers]
arm64 0.6-3.2+b1 80,0 ko279,0 ko [liste des fichiers]
armhf 0.6-3.2 74,4 ko213,0 ko [liste des fichiers]
i386 0.6-3.2 95,9 ko265,0 ko [liste des fichiers]
ppc64el 0.6-3.2 95,6 ko342,0 ko [liste des fichiers]
riscv64 0.6-3.2 88,6 ko198,0 ko [liste des fichiers]
s390x 0.6-3.2 88,6 ko274,0 ko [liste des fichiers]