[ sid ]
Package: z3-dbgsym (4.8.12-3.1 and others) [debports]
Links for z3-dbgsym
Debian Resources:
Download Source Package :
Not foundMaintainers:
Similar packages:
debug symbols for z3
Other Packages Related to z3-dbgsym
|
|
|
|
Download z3-dbgsym
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 4.8.12-3.1 | 137,386.1 kB | 140,346.0 kB | [list of files] |
| hppa (unofficial port) | 4.8.12-3.1+b2 | 134,358.3 kB | 137,100.0 kB | [list of files] |
| ia64 (unofficial port) | 4.8.12-3.1 | 151,452.9 kB | 154,416.0 kB | [list of files] |
| m68k (unofficial port) | 4.8.12-3.1+b2 | 127,380.3 kB | 129,967.0 kB | [list of files] |
| ppc64 (unofficial port) | 4.8.12-3.1+b2 | 138,405.8 kB | 141,405.0 kB | [list of files] |
| riscv64 (unofficial port) | 4.8.12-3.1 | 117,729.2 kB | 121,465.0 kB | [list of files] |
| sparc64 (unofficial port) | 4.8.12-3.1+b2 | 133,500.1 kB | 136,480.0 kB | [list of files] |
| x32 (unofficial port) | 4.8.12-3.1+b2 | 136,471.0 kB | 139,512.0 kB | [list of files] |