[ 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 | [檔案列表] |