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

Връзки за z3-dbgsym

Няма съвпадения

dep: z3 (= 4.8.12-3.1) [alpha, ia64, riscv64]

theorem prover from Microsoft Research

dep: z3 (= 4.8.12-3.1+b2) [не alpha, ia64, riscv64]

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
alpha (неофициална архитектура)	4.8.12-3.1	137 386,1 кБ	140 346,0 кБ	[списък на файловете]
hppa (неофициална архитектура)	4.8.12-3.1+b2	134 358,3 кБ	137 100,0 кБ	[списък на файловете]
ia64 (неофициална архитектура)	4.8.12-3.1	151 452,9 кБ	154 416,0 кБ	[списък на файловете]
m68k (неофициална архитектура)	4.8.12-3.1+b2	127 380,3 кБ	129 967,0 кБ	[списък на файловете]
ppc64 (неофициална архитектура)	4.8.12-3.1+b2	138 405,8 кБ	141 405,0 кБ	[списък на файловете]
riscv64 (неофициална архитектура)	4.8.12-3.1	117 729,2 кБ	121 465,0 кБ	[списък на файловете]
sparc64 (неофициална архитектура)	4.8.12-3.1+b2	133 500,1 кБ	136 480,0 кБ	[списък на файловете]
x32 (неофициална архитектура)	4.8.12-3.1+b2	136 471,0 кБ	139 512,0 кБ	[списък на файловете]