[ sid ]
Balík: libz3-4-dbgsym (4.8.12-3.1) [debports]
Odkazy pre libz3-4-dbgsym
Zdroje Debian:
Stiahnuť zdrojový balík :
NenájdenýSprávcovia:
Podobné balíky:
debug symbols for libz3-4
Ostatné balíky súvisiace s balíkom libz3-4-dbgsym
|
|
|
|
-
- dep: libz3-4 (= 4.8.12-3.1)
- theorem prover from Microsoft Research - runtime libraries
Stiahnuť libz3-4-dbgsym
Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|
alpha (neoficiálny port) | 135,540.0 kB | 138,486.0 kB | [zoznam súborov] |
hppa (neoficiálny port) | 132,646.5 kB | 135,425.0 kB | [zoznam súborov] |
ia64 (neoficiálny port) | 149,484.5 kB | 152,438.0 kB | [zoznam súborov] |
m68k (neoficiálny port) | 126,596.8 kB | 129,209.0 kB | [zoznam súborov] |
ppc64 (neoficiálny port) | 136,009.4 kB | 139,058.0 kB | [zoznam súborov] |
riscv64 (neoficiálny port) | 116,037.5 kB | 119,753.0 kB | [zoznam súborov] |
sparc64 (neoficiálny port) | 131,363.0 kB | 134,378.0 kB | [zoznam súborov] |
x32 (neoficiálny port) | 133,206.0 kB | 136,248.0 kB | [zoznam súborov] |