Пакет: libcvc5-1-dbgsym (1.1.2-2 и други) [debports]

[ Източник:  ]

debug symbols for libcvc5-1

Други пакети, свързани с libcvc5-1-dbgsym

• dep: libcvc5-1 (= 1.0.5-3) [riscv64]

  automated theorem prover for SMT problems (runtime)

  dep: libcvc5-1 (= 1.1.2-2) [не riscv64]

Изтегляне на libcvc5-1-dbgsym

Изтегляне за всички налични архитектури

Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
alpha (неофициална архитектура)	1.1.2-2	175 652,2 кБ	178 686,0 кБ	[списък на файловете]
hppa (неофициална архитектура)	1.1.2-2	172 171,2 кБ	175 240,0 кБ	[списък на файловете]
m68k (неофициална архитектура)	1.1.2-2	163 439,9 кБ	166 293,0 кБ	[списък на файловете]
ppc64 (неофициална архитектура)	1.1.2-2	174 252,0 кБ	177 504,0 кБ	[списък на файловете]
riscv64 (неофициална архитектура)	1.0.5-3	141 763,4 кБ	145 049,0 кБ	[списък на файловете]
sparc64 (неофициална архитектура)	1.1.2-2	171 056,7 кБ	174 255,0 кБ	[списък на файловете]
x32 (неофициална архитектура)	1.1.2-2	174 694,3 кБ	178 256,0 кБ	[списък на файловете]