[ sid ]
套件:eprover-dbgsym(3.1.0+ds-1 以及其他的) [debports]
debug symbols for eprover
其他與 eprover-dbgsym 有關的套件
|
|
|
|
下載 eprover-dbgsym
硬體架構 | 版本 | 套件大小 | 安裝後大小 | 檔案 |
---|---|---|---|---|
alpha (非官方移植版) | 3.1.0+ds-1 | 138。5 kB | 900。0 kB | [檔案列表] |
hppa (非官方移植版) | 3.1.0+ds-1 | 135。8 kB | 749。0 kB | [檔案列表] |
ia64 (非官方移植版) | 3.0.03+ds-1 | 181。9 kB | 1,224。0 kB | [檔案列表] |
m68k (非官方移植版) | 3.1.0+ds-1 | 137。4 kB | 743。0 kB | [檔案列表] |
ppc64 (非官方移植版) | 3.1.0+ds-1 | 122。8 kB | 971。0 kB | [檔案列表] |
riscv64 (非官方移植版) | 2.6+ds-3+b1 | 115。6 kB | 774。0 kB | [檔案列表] |
sh4 (非官方移植版) | 3.1.0+ds-1 | 138。3 kB | 1,850。0 kB | [檔案列表] |
sparc64 (非官方移植版) | 3.1.0+ds-1 | 138。5 kB | 918。0 kB | [檔案列表] |
x32 (非官方移植版) | 3.1.0+ds-1 | 130。7 kB | 738。0 kB | [檔案列表] |