[ sid ]
Paquet : depqbf-dbgsym (5.01-3) [debports]
Liens pour depqbf-dbgsym
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Paquets similaires :
debug symbols for depqbf
Autres paquets associés à depqbf-dbgsym
|
|
|
|
-
- dep: depqbf (= 5.01-3)
- solver for quantified boolean formulae
Télécharger depqbf-dbgsym
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
ia64 (portage non officiel) | 436,7 ko | 483,0 ko | [liste des fichiers] |