[ sid ]
Paquet : cryptominisat-dbgsym (5.11.15+dfsg1-1.1) [debports]
Liens pour cryptominisat-dbgsym
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Paquets similaires :
debug symbols for cryptominisat
Autres paquets associés à cryptominisat-dbgsym
|
|
|
|
-
- dep: cryptominisat (= 5.11.15+dfsg1-1.1)
- SAT solver command line interface
Télécharger cryptominisat-dbgsym
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
hppa (portage non officiel) | 950,4 ko | 1 043,0 ko | [liste des fichiers] |