[ sid ]
Paketti: kissat-dbgsym (4.0.3-2) [debports]
Links for kissat-dbgsym
Debian-palvelut:
Imuroi lähdekoodipaketti :
Ei löytynytYlläpitäjät:
Samankaltaisia paketteja:
debug symbols for kissat
Muut pakettiin kissat-dbgsym liittyvät paketit
|
|
|
|
-
- dep: kissat (= 4.0.3-2)
- Keep it simple and clean bare metal SAT solver
Imuroi kissat-dbgsym
| Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|
| alpha (epävirallinen siirros) | 1,526.1 kt | 3,090.0 kt | [tiedostoluettelo] |
| hppa (epävirallinen siirros) | 1,519.2 kt | 2,915.0 kt | [tiedostoluettelo] |
| loong64 (epävirallinen siirros) | 1,597.9 kt | 16,121.0 kt | [tiedostoluettelo] |
| m68k (epävirallinen siirros) | 1,447.2 kt | 2,857.0 kt | [tiedostoluettelo] |
| ppc64 (epävirallinen siirros) | 1,600.9 kt | 3,267.0 kt | [tiedostoluettelo] |
| sh4 (epävirallinen siirros) | 1,853.4 kt | 3,052.0 kt | [tiedostoluettelo] |
| sparc64 (epävirallinen siirros) | 1,534.7 kt | 3,060.0 kt | [tiedostoluettelo] |
| x32 (epävirallinen siirros) | 1,577.4 kt | 2,173.0 kt | [tiedostoluettelo] |