Пакет: libz3-4-dbgsym (4.13.3-1 и другие) [debports]

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

Не найден

dep: libz3-4 (= 4.13.3-1) [не ia64, riscv64]

средство доказательства теорем от Microsoft Research — библиотеки

dep: libz3-4 (= 4.8.12-3.1) [ia64, riscv64]

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	4.13.3-1	168 700,3 Кб	171 764,0 Кб	[список файлов]
hppa (неофициальный перенос)	4.13.3-1	165 339,9 Кб	168 273,0 Кб	[список файлов]
ia64 (неофициальный перенос)	4.8.12-3.1	149 484,5 Кб	152 438,0 Кб	[список файлов]
loong64 (неофициальный перенос)	4.13.3-1	169 176,4 Кб	172 235,0 Кб	[список файлов]
m68k (неофициальный перенос)	4.13.3-1	154 589,9 Кб	157 399,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	4.13.3-1	170 088,4 Кб	173 241,0 Кб	[список файлов]
riscv64 (неофициальный перенос)	4.8.12-3.1	116 037,5 Кб	119 753,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	4.13.3-1	164 954,1 Кб	168 095,0 Кб	[список файлов]
x32 (неофициальный перенос)	4.13.3-1	168 014,5 Кб	171 238,0 Кб	[список файлов]