[ sid ]
Paketti: cadical-dbgsym (1.7.4-1) [debports]
Links for cadical-dbgsym
Debian-palvelut:
Imuroi lähdekoodipaketti :
Ei löytynytYlläpitäjät:
Samankaltaisia paketteja:
debug symbols for cadical
Muut pakettiin cadical-dbgsym liittyvät paketit
|
|
|
|
-
- dep: cadical (= 1.7.4-1)
- Simplified Satisfiability Solver
Imuroi cadical-dbgsym
Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|
ia64 (epävirallinen siirros) | 7,877.3 kt | 8,099.0 kt | [tiedostoluettelo] |