[ sid ]
Package: z3-dbgsym (4.8.12-3.1) [debports]
Links for z3-dbgsym
Debian Resources:
Download Source Package :
Not foundMaintainers:
Similar packages:
debug symbols for z3
Other Packages Related to z3-dbgsym
|
|
|
|
-
- dep: z3 (= 4.8.12-3.1)
- theorem prover from Microsoft Research
Download z3-dbgsym
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
alpha (unofficial port) | 137,386.1 kB | 140,346.0 kB | [list of files] |
hppa (unofficial port) | 134,468.1 kB | 137,230.0 kB | [list of files] |
ia64 (unofficial port) | 151,452.9 kB | 154,416.0 kB | [list of files] |
m68k (unofficial port) | 128,327.8 kB | 130,924.0 kB | [list of files] |
ppc64 (unofficial port) | 137,851.8 kB | 140,869.0 kB | [list of files] |
riscv64 (unofficial port) | 117,729.2 kB | 121,465.0 kB | [list of files] |
sparc64 (unofficial port) | 133,145.3 kB | 136,149.0 kB | [list of files] |
x32 (unofficial port) | 135,049.7 kB | 138,102.0 kB | [list of files] |