[ sid ]
软件包：why3-dbgsym（1.6.0-1 以及其他的） [debports]
debug symbols for why3
其他与 why3-dbgsym 有关的软件包
|
|
|
|
下载 why3-dbgsym
| 硬件架构 | 版本 | 软件包大小 | 安装后大小 | 文件 |
|---|---|---|---|---|
| alpha （非官方移植版） | 1.6.0-1+b5 | 36.6 kB | 64.0 kB | [文件列表] |
| hppa （非官方移植版） | 1.6.0-1+b5 | 36.9 kB | 61.0 kB | [文件列表] |
| ia64 （非官方移植版） | 1.6.0-1+b5 | 42.3 kB | 70.0 kB | [文件列表] |
| m68k （非官方移植版） | 1.6.0-1+b4 | 34.3 kB | 57.0 kB | [文件列表] |
| ppc64 （非官方移植版） | 1.6.0-1 | 2,034.3 kB | 10,131.0 kB | [文件列表] |
| riscv64 （非官方移植版） | 1.5.1-1+b3 | 2,202.1 kB | 9,899.0 kB | [文件列表] |
| sh4 （非官方移植版） | 1.6.0-1+b4 | 37.6 kB | 187.0 kB | [文件列表] |
| sparc64 （非官方移植版） | 1.6.0-1+b5 | 36.4 kB | 66.0 kB | [文件列表] |
| x32 （非官方移植版） | 1.3.3-3 | 85.5 kB | 244.0 kB | [文件列表] |