[ sid ]
Paket: boolector-dbgsym (1.5.118.6b56be4.121013-1.3) [debports]
boolector-dbgsym için bağlantılar
Debian Kaynakları:
Kaynak Paketini İndir:
BulunamadıGeliştiriciler:
Benzer paketler:
debug symbols for boolector
boolector-dbgsym ile İlgili Diğer Paketler
|
|
|
|
-
- dep: boolector (= 1.5.118.6b56be4.121013-1.3)
- SMT solver for bit-vectors and arrays
boolector-dbgsym indir
Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|
alpha (resmi olmayan port) | 12,1 kB | 56,0 kB | [dosya listesi] |
hppa (resmi olmayan port) | 12,4 kB | 49,0 kB | [dosya listesi] |
ia64 (resmi olmayan port) | 11,9 kB | 56,0 kB | [dosya listesi] |
m68k (resmi olmayan port) | 11,9 kB | 46,0 kB | [dosya listesi] |
ppc64 (resmi olmayan port) | 11,8 kB | 59,0 kB | [dosya listesi] |
riscv64 (resmi olmayan port) | 11,9 kB | 57,0 kB | [dosya listesi] |
sh4 (resmi olmayan port) | 12,3 kB | 111,0 kB | [dosya listesi] |
sparc64 (resmi olmayan port) | 11,9 kB | 56,0 kB | [dosya listesi] |
x32 (resmi olmayan port) | 12,0 kB | 46,0 kB | [dosya listesi] |