[ sid ]
软件包:cvc4-dbgsym(1.8-3 以及其他的) [debports]
debug symbols for cvc4
其他与 cvc4-dbgsym 有关的软件包
|
|
|
|
下载 cvc4-dbgsym
硬件架构 | 版本 | 软件包大小 | 安装后大小 | 文件 |
---|---|---|---|---|
alpha (非官方移植版) | 1.8-3+b2 | 964.6 kB | 1,005.0 kB | [文件列表] |
hppa (非官方移植版) | 1.5-1 | 3,100.0 kB | 3,236.0 kB | [文件列表] |
ia64 (非官方移植版) | 1.8-3+b2 | 1,016.0 kB | 1,056.0 kB | [文件列表] |
m68k (非官方移植版) | 1.8-3+b2 | 932.2 kB | 967.0 kB | [文件列表] |
ppc64 (非官方移植版) | 1.8-3+b2 | 975.0 kB | 1,023.0 kB | [文件列表] |
riscv64 (非官方移植版) | 1.8-3 | 863.3 kB | 905.0 kB | [文件列表] |
sparc64 (非官方移植版) | 1.8-3+b2 | 954.3 kB | 994.0 kB | [文件列表] |
x32 (非官方移植版) | 1.8-3+b2 | 969.9 kB | 1,005.0 kB | [文件列表] |