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