[ sid ]
套件:cbmc-dbgsym(5.95.1-4 以及其他的) [debports]
debug symbols for cbmc
其他與 cbmc-dbgsym 有關的套件
|
|
|
|
下載 cbmc-dbgsym
硬體架構 | 版本 | 套件大小 | 安裝後大小 | 檔案 |
---|---|---|---|---|
alpha (非官方移植版) | 5.95.1-4 | 580,269。0 kB | 588,767。0 kB | [檔案列表] |
hppa (非官方移植版) | 5.95.1-4 | 456,269。4 kB | 464,565。0 kB | [檔案列表] |
ia64 (非官方移植版) | 5.95.1-4 | 535,843。4 kB | 543,834。0 kB | [檔案列表] |
m68k (非官方移植版) | 5.95.1-4 | 412,466。4 kB | 420,141。0 kB | [檔案列表] |
ppc64 (非官方移植版) | 5.95.1-4 | 466,526。2 kB | 475,229。0 kB | [檔案列表] |
riscv64 (非官方移植版) | 5.84.0-11 | 423,973。2 kB | 433,127。0 kB | [檔案列表] |
sh4 (非官方移植版) | 5.95.1-4 | 330,131。1 kB | 336,873。0 kB | [檔案列表] |
sparc64 (非官方移植版) | 5.95.1-4 | 553,622。6 kB | 563,134。0 kB | [檔案列表] |
x32 (非官方移植版) | 5.95.1-4 | 574,298。5 kB | 584,154。0 kB | [檔案列表] |