[ sid ]
Paketti: drat-trim-dbgsym (0.0~git20240428.effa1dc-2) [debports]
Links for drat-trim-dbgsym
Debian-palvelut:
Imuroi lähdekoodipaketti :
Ei löytynytYlläpitäjät:
Samankaltaisia paketteja:
debug symbols for drat-trim
Muut pakettiin drat-trim-dbgsym liittyvät paketit
|
|
|
|
-
- dep: drat-trim (= 0.0~git20240428.effa1dc-2)
- DART-trim satisfiability proof checker (binary utils)
Imuroi drat-trim-dbgsym
Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|
alpha (epävirallinen siirros) | 63.5 kt | 89.0 kt | [tiedostoluettelo] |
hppa (epävirallinen siirros) | 61.9 kt | 85.0 kt | [tiedostoluettelo] |
loong64 (epävirallinen siirros) | 65.6 kt | 92.0 kt | [tiedostoluettelo] |
m68k (epävirallinen siirros) | 58.8 kt | 80.0 kt | [tiedostoluettelo] |
ppc64 (epävirallinen siirros) | 65.2 kt | 93.0 kt | [tiedostoluettelo] |
sh4 (epävirallinen siirros) | 61.1 kt | 210.0 kt | [tiedostoluettelo] |
sparc64 (epävirallinen siirros) | 61.7 kt | 88.0 kt | [tiedostoluettelo] |
x32 (epävirallinen siirros) | 63.4 kt | 84.0 kt | [tiedostoluettelo] |