[ sid ]
Paketti: libz3-4-dbgsym (4.8.12-3.1) [debports]
Links for libz3-4-dbgsym
Debian-palvelut:
Imuroi lähdekoodipaketti :
Ei löytynytYlläpitäjät:
Samankaltaisia paketteja:
debug symbols for libz3-4
Muut pakettiin libz3-4-dbgsym liittyvät paketit
|
|
|
|
-
- dep: libz3-4 (= 4.8.12-3.1)
- theorem prover from Microsoft Research - runtime libraries
Imuroi libz3-4-dbgsym
| Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|
| alpha (epävirallinen siirros) | 135,540.0 kt | 138,486.0 kt | [tiedostoluettelo] |
| hppa (epävirallinen siirros) | 132,646.5 kt | 135,425.0 kt | [tiedostoluettelo] |
| ia64 (epävirallinen siirros) | 149,484.5 kt | 152,438.0 kt | [tiedostoluettelo] |
| m68k (epävirallinen siirros) | 126,596.8 kt | 129,209.0 kt | [tiedostoluettelo] |
| ppc64 (epävirallinen siirros) | 136,009.4 kt | 139,058.0 kt | [tiedostoluettelo] |
| riscv64 (epävirallinen siirros) | 116,037.5 kt | 119,753.0 kt | [tiedostoluettelo] |
| sparc64 (epävirallinen siirros) | 131,363.0 kt | 134,378.0 kt | [tiedostoluettelo] |
| x32 (epävirallinen siirros) | 133,206.0 kt | 136,248.0 kt | [tiedostoluettelo] |