[ sid ]
Paket: cbmc-dbgsym (5.95.1-6 ve diğerleri) [debports]
cbmc-dbgsym için bağlantılar
Debian Kaynakları:
Kaynak Paketini İndir:
BulunamadıGeliştiriciler:
Benzer paketler:
debug symbols for cbmc
cbmc-dbgsym ile İlgili Diğer Paketler
|
|
|
|
cbmc-dbgsym indir
Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|---|
alpha (resmi olmayan port) | 5.95.1-4 | 580.269,0 kB | 588.767,0 kB | [dosya listesi] |
hppa (resmi olmayan port) | 5.95.1-6 | 456.232,6 kB | 464.550,0 kB | [dosya listesi] |
ia64 (resmi olmayan port) | 5.95.1-4 | 535.843,4 kB | 543.834,0 kB | [dosya listesi] |
m68k (resmi olmayan port) | 5.95.1-6 | 412.256,4 kB | 419.905,0 kB | [dosya listesi] |
ppc64 (resmi olmayan port) | 5.95.1-6 | 466.601,3 kB | 475.279,0 kB | [dosya listesi] |
riscv64 (resmi olmayan port) | 5.84.0-11 | 423.973,2 kB | 433.127,0 kB | [dosya listesi] |
sh4 (resmi olmayan port) | 5.95.1-6 | 330.129,4 kB | 336.868,0 kB | [dosya listesi] |
sparc64 (resmi olmayan port) | 5.95.1-6 | 553.692,3 kB | 563.109,0 kB | [dosya listesi] |
x32 (resmi olmayan port) | 5.95.1-6 | 574.147,9 kB | 584.064,0 kB | [dosya listesi] |