Пакет: libcvc4-7-dbgsym (1.8-3 и други) [debports]

Връзки за libcvc4-7-dbgsym

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

dep: libcvc4-7 (= 1.8-3) [riscv64]

automated theorem prover for SMT problems (runtime)

dep: libcvc4-7 (= 1.8-3+b2) [не riscv64]

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
alpha (неофициална архитектура)	1.8-3+b2	193 552,9 кБ	196 797,0 кБ	[списък на файловете]
ia64 (неофициална архитектура)	1.8-3+b2	205 942,7 кБ	209 223,0 кБ	[списък на файловете]
m68k (неофициална архитектура)	1.8-3+b2	179 916,4 кБ	182 898,0 кБ	[списък на файловете]
ppc64 (неофициална архитектура)	1.8-3+b2	192 971,7 кБ	197 146,0 кБ	[списък на файловете]
riscv64 (неофициална архитектура)	1.8-3	154 992,7 кБ	158 306,0 кБ	[списък на файловете]
sparc64 (неофициална архитектура)	1.8-3+b2	186 608,3 кБ	190 255,0 кБ	[списък на файловете]
x32 (неофициална архитектура)	1.8-3+b2	190 291,7 кБ	194 034,0 кБ	[списък на файловете]