[ sid ]
Paket: z3-dbgsym (4.8.12-3.1 ve diğerleri) [debports]
z3-dbgsym için bağlantılar
Debian Kaynakları:
Kaynak Paketini İndir:
BulunamadıGeliştiriciler:
Benzer paketler:
debug symbols for z3
z3-dbgsym ile İlgili Diğer Paketler
|
|
|
|
-
- dep: z3 (= 4.8.12-3.1+b2)
- theorem prover from Microsoft Research
z3-dbgsym indir
Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|---|
ppc64 (resmi olmayan port) | 4.8.12-3.1+b2 | 138.405,8 kB | 141.405,0 kB | [dosya listesi] |