[ 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
Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
---|---|---|---|---|
sparc64 (неофициальный перенос) | 4.8.12-3.1+b2 | 164,3 Кб | 250,0 Кб | [список файлов] |