[ sid ]
Paket: cvc4-dbgsym (1.8-4 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-4 | 977,5 kB | 1.156,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] |
| loong64 (resmi olmayan port) | 1.8-4 | 977,4 kB | 1.139,0 kB | [dosya listesi] |
| m68k (resmi olmayan port) | 1.8-4 | 935,0 kB | 1.101,0 kB | [dosya listesi] |
| ppc64 (resmi olmayan port) | 1.8-4 | 987,6 kB | 1.034,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-4 | 962,3 kB | 1.120,0 kB | [dosya listesi] |
| x32 (resmi olmayan port) | 1.8-4 | 983,6 kB | 1.017,0 kB | [dosya listesi] |