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

Връзки за cvc5-dbgsym

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

dep: cvc5 (= 1.0.5-3) [riscv64]

automated theorem prover for SMT problems

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

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
alpha (неофициална архитектура)	1.1.2-2	1 755,5 кБ	1 837,0 кБ	[списък на файловете]
hppa (неофициална архитектура)	1.1.2-2	1 739,2 кБ	1 818,0 кБ	[списък на файловете]
m68k (неофициална архитектура)	1.1.2-2	1 677,7 кБ	1 755,0 кБ	[списък на файловете]
ppc64 (неофициална архитектура)	1.1.2-2	1 751,1 кБ	1 841,0 кБ	[списък на файловете]
riscv64 (неофициална архитектура)	1.0.5-3	1 637,2 кБ	1 732,0 кБ	[списък на файловете]
sparc64 (неофициална архитектура)	1.1.2-2	1 713,9 кБ	1 806,0 кБ	[списък на файловете]
x32 (неофициална архитектура)	1.1.2-2	1 742,1 кБ	1 812,0 кБ	[списък на файловете]