[ sid ]
套件：libz3-4-dbgsym（4.8.12-3.1） [debports]
debug symbols for libz3-4
其他與 libz3-4-dbgsym 有關的套件
|
|
|
|
-
- dep: libz3-4 (= 4.8.12-3.1)
- theorem prover from Microsoft Research - runtime libraries
下載 libz3-4-dbgsym
| 硬體架構 | 套件大小 | 安裝後大小 | 檔案 |
|---|---|---|---|
| alpha （非官方移植版） | 135，540。0 kB | 138，486。0 kB | [檔案列表] |
| hppa （非官方移植版） | 132，646。5 kB | 135，425。0 kB | [檔案列表] |
| ia64 （非官方移植版） | 149，484。5 kB | 152，438。0 kB | [檔案列表] |
| m68k （非官方移植版） | 126，596。8 kB | 129，209。0 kB | [檔案列表] |
| ppc64 （非官方移植版） | 136，009。4 kB | 139，058。0 kB | [檔案列表] |
| riscv64 （非官方移植版） | 116，037。5 kB | 119，753。0 kB | [檔案列表] |
| sparc64 （非官方移植版） | 131，363。0 kB | 134，378。0 kB | [檔案列表] |
| x32 （非官方移植版） | 133，206。0 kB | 136，248。0 kB | [檔案列表] |