Пакет: 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 Кб	[список файлов]