[ sid ]
Paket: cbmc-dbgsym (6.6.0-4 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) | 6.6.0-4 | 619.268,7 kB | 719.804,0 kB | [dosya listesi] |
| hppa (resmi olmayan port) | 6.6.0-4 | 491.254,1 kB | 568.840,0 kB | [dosya listesi] |
| ia64 (resmi olmayan port) | 5.95.1-4 | 535.843,4 kB | 543.834,0 kB | [dosya listesi] |
| loong64 (resmi olmayan port) | 6.6.0-4 | 594.876,0 kB | 677.402,0 kB | [dosya listesi] |
| m68k (resmi olmayan port) | 6.6.0-4 | 427.183,8 kB | 511.615,0 kB | [dosya listesi] |
| ppc64 (resmi olmayan port) | 6.6.0-4 | 502.659,5 kB | 603.190,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) | 6.6.0-4 | 351.586,6 kB | 433.673,0 kB | [dosya listesi] |
| sparc64 (resmi olmayan port) | 6.6.0-4 | 591.883,1 kB | 673.208,0 kB | [dosya listesi] |
| x32 (resmi olmayan port) | 6.6.0-4 | 614.633,5 kB | 643.482,0 kB | [dosya listesi] |