[ sid ]
Paket: libz3-4-dbgsym (4.8.12-3.1) [debports]
libz3-4-dbgsym için bağlantılar
Debian Kaynakları:
Kaynak Paketini İndir:
BulunamadıGeliştiriciler:
Benzer paketler:
debug symbols for libz3-4
libz3-4-dbgsym ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libz3-4 (= 4.8.12-3.1)
- theorem prover from Microsoft Research - runtime libraries
libz3-4-dbgsym indir
| Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|
| alpha (resmi olmayan port) | 135.540,0 kB | 138.486,0 kB | [dosya listesi] |
| hppa (resmi olmayan port) | 132.646,5 kB | 135.425,0 kB | [dosya listesi] |
| ia64 (resmi olmayan port) | 149.484,5 kB | 152.438,0 kB | [dosya listesi] |
| m68k (resmi olmayan port) | 126.596,8 kB | 129.209,0 kB | [dosya listesi] |
| ppc64 (resmi olmayan port) | 136.009,4 kB | 139.058,0 kB | [dosya listesi] |
| riscv64 (resmi olmayan port) | 116.037,5 kB | 119.753,0 kB | [dosya listesi] |
| sparc64 (resmi olmayan port) | 131.363,0 kB | 134.378,0 kB | [dosya listesi] |
| x32 (resmi olmayan port) | 133.206,0 kB | 136.248,0 kB | [dosya listesi] |