[ sid ]
Пакет: libz3-jni-dbgsym (4.8.12-3.1 и други) [debports]
Връзки за libz3-jni-dbgsym
Ресурси за Debian:
Изтегляне на пакет-източник .
Няма съвпаденияОтговорници:
Подобни пакети:
debug symbols for libz3-jni
Други пакети, свързани с libz3-jni-dbgsym
|
|
|
|
-
- dep: libz3-jni (= 4.8.12-3.1+b2)
- theorem prover from Microsoft Research - JNI library
Изтегляне на libz3-jni-dbgsym
Архитектура | Версия | Големина на пакета | Големина след инсталиране | Файлове |
---|---|---|---|---|
alpha (неофициална архитектура) | 4.8.12-3.1+b2 | 179,6 кБ | 265,0 кБ | [списък на файловете] |