[ sid ]
Paquet : cryptominisat-dbgsym (5.11.21+dfsg1-1 et autres) [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.21+dfsg1-1+b1)
- SAT solver command line interface
Télécharger cryptominisat-dbgsym
Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|---|
ppc64 (portage non officiel) | 5.11.21+dfsg1-1+b1 | 1 264,6 ko | 1 342,0 ko | [liste des fichiers] |