Пакет: libz3-jni-dbgsym (4.8.12-3.1 и другие) [debports]

Ссылки для libz3-jni-dbgsym

Не найден

dep: libz3-jni (= 4.8.12-3.1) [alpha, riscv64]

theorem prover from Microsoft Research - JNI library

dep: libz3-jni (= 4.8.12-3.1+b2) [sparc64, x32]

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	4.8.12-3.1	178,7 Кб	264,0 Кб	[список файлов]
riscv64 (неофициальный перенос)	4.8.12-3.1	159,6 Кб	247,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	4.8.12-3.1+b2	164,3 Кб	250,0 Кб	[список файлов]
x32 (неофициальный перенос)	4.8.12-3.1+b2	179,0 Кб	253,0 Кб	[список файлов]