[ sid ]
Package: libz3-4-dbgsym (4.8.12-3.1) [debports]
Links for libz3-4-dbgsym
Debian Resources:
Download Source Package :
Not foundMaintainers:
Similar packages:
debug symbols for libz3-4
Other Packages Related to libz3-4-dbgsym
|
|
|
|
-
- dep: libz3-4 (= 4.8.12-3.1)
- theorem prover from Microsoft Research - runtime libraries
Download libz3-4-dbgsym
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| alpha (unofficial port) | 135,540.0 kB | 138,486.0 kB | [list of files] |
| hppa (unofficial port) | 132,646.5 kB | 135,425.0 kB | [list of files] |
| ia64 (unofficial port) | 149,484.5 kB | 152,438.0 kB | [list of files] |
| m68k (unofficial port) | 126,596.8 kB | 129,209.0 kB | [list of files] |
| ppc64 (unofficial port) | 136,009.4 kB | 139,058.0 kB | [list of files] |
| riscv64 (unofficial port) | 116,037.5 kB | 119,753.0 kB | [list of files] |
| sparc64 (unofficial port) | 131,363.0 kB | 134,378.0 kB | [list of files] |
| x32 (unofficial port) | 133,206.0 kB | 136,248.0 kB | [list of files] |