[ sid ]
套件：eprover-dbgsym（3.0.03+ds-1 以及其他的） [debports]
debug symbols for eprover
其他與 eprover-dbgsym 有關的套件
|
|
|
|
下載 eprover-dbgsym
| 硬體架構 | 版本 | 套件大小 | 安裝後大小 | 檔案 |
|---|---|---|---|---|
| alpha （非官方移植版） | 3.0.03+ds-1 | 185。0 kB | 1，221。0 kB | [檔案列表] |
| hppa （非官方移植版） | 3.0.03+ds-1 | 178。2 kB | 985。0 kB | [檔案列表] |
| ia64 （非官方移植版） | 3.0.03+ds-1 | 181。9 kB | 1，224。0 kB | [檔案列表] |
| m68k （非官方移植版） | 3.0.03+ds-1 | 178。7 kB | 954。0 kB | [檔案列表] |
| ppc64 （非官方移植版） | 3.0.03+ds-1 | 160。5 kB | 1，274。0 kB | [檔案列表] |
| riscv64 （非官方移植版） | 2.6+ds-3+b1 | 115。6 kB | 774。0 kB | [檔案列表] |
| sh4 （非官方移植版） | 3.0.03+ds-1 | 180。3 kB | 2，016。0 kB | [檔案列表] |
| sparc64 （非官方移植版） | 3.0.03+ds-1 | 176。5 kB | 1，220。0 kB | [檔案列表] |
| x32 （非官方移植版） | 3.0.03+ds-1 | 161。7 kB | 949。0 kB | [檔案列表] |