[ sid ]
Paquet : cadical-dbgsym (1.7.4-1) [debports]
Liens pour cadical-dbgsym
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Paquets similaires :
debug symbols for cadical
Autres paquets associés à cadical-dbgsym
|
|
|
|
-
- dep: cadical (= 1.7.4-1)
- Simplified Satisfiability Solver
Télécharger cadical-dbgsym
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
x32 (portage non officiel) | 9 959,6 ko | 10 153,0 ko | [liste des fichiers] |