[ sid ]
Paket: cvc4-dbgsym (1.8-3 ve diğerleri) [debports]
cvc4-dbgsym için bağlantılar
Debian Kaynakları:
Kaynak Paketini İndir:
BulunamadıGeliştiriciler:
Benzer paketler:
debug symbols for cvc4
cvc4-dbgsym ile İlgili Diğer Paketler
|
|
|
|
cvc4-dbgsym indir
| Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|---|
| alpha (resmi olmayan port) | 1.8-3+b2 | 964,6 kB | 1.005,0 kB | [dosya listesi] |
| hppa (resmi olmayan port) | 1.5-1 | 3.100,0 kB | 3.236,0 kB | [dosya listesi] |
| ia64 (resmi olmayan port) | 1.8-3+b2 | 1.016,0 kB | 1.056,0 kB | [dosya listesi] |
| m68k (resmi olmayan port) | 1.8-3+b2 | 932,2 kB | 967,0 kB | [dosya listesi] |
| ppc64 (resmi olmayan port) | 1.8-3+b2 | 975,0 kB | 1.023,0 kB | [dosya listesi] |
| riscv64 (resmi olmayan port) | 1.8-3 | 863,3 kB | 905,0 kB | [dosya listesi] |
| sparc64 (resmi olmayan port) | 1.8-3+b2 | 954,3 kB | 994,0 kB | [dosya listesi] |
| x32 (resmi olmayan port) | 1.8-3+b2 | 969,9 kB | 1.005,0 kB | [dosya listesi] |