[ sid ]
套件：gappa-dbgsym（1.4.1-1） [debports]
debug symbols for gappa
其他與 gappa-dbgsym 有關的套件
|
|
|
|
-
- dep: gappa (= 1.4.1-1)
- Automatic generation of proofs of arithmetic properties
下載 gappa-dbgsym
| 硬體架構 | 套件大小 | 安裝後大小 | 檔案 |
|---|---|---|---|
| alpha （非官方移植版） | 3，823。0 kB | 3，975。0 kB | [檔案列表] |
| hppa （非官方移植版） | 3，672。3 kB | 3，814。0 kB | [檔案列表] |
| ia64 （非官方移植版） | 4，141。2 kB | 4，298。0 kB | [檔案列表] |
| m68k （非官方移植版） | 3，384。0 kB | 3，517。0 kB | [檔案列表] |
| ppc64 （非官方移植版） | 3，776。7 kB | 3，944。0 kB | [檔案列表] |
| riscv64 （非官方移植版） | 2，899。5 kB | 3，061。0 kB | [檔案列表] |
| sh4 （非官方移植版） | 2，846。6 kB | 3，034。0 kB | [檔案列表] |
| sparc64 （非官方移植版） | 3，666。6 kB | 3，825。0 kB | [檔案列表] |
| x32 （非官方移植版） | 3，709。4 kB | 3，860。0 kB | [檔案列表] |