[ sid ]
Paket: libz3-jni-dbgsym (4.8.12-3.1) [debports]
libz3-jni-dbgsym için bağlantılar
Debian Kaynakları:
Kaynak Paketini İndir:
BulunamadıGeliştiriciler:
Benzer paketler:
debug symbols for libz3-jni
libz3-jni-dbgsym ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libz3-jni (= 4.8.12-3.1)
- theorem prover from Microsoft Research - JNI library
libz3-jni-dbgsym indir
Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|
riscv64 (resmi olmayan port) | 159,6 kB | 247,0 kB | [dosya listesi] |