Пакет: cadical-dbgsym (1.7.4-1 и другие) [debports]

Ссылки для cadical-dbgsym

Не найден

dep: cadical (= 1.5.3-2) [riscv64]

Simplified Satisfiability Solver

dep: cadical (= 1.7.4-1) [не riscv64]

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	1.7.4-1	10 034,9 Кб	10 248,0 Кб	[список файлов]
hppa (неофициальный перенос)	1.7.4-1	6 870,5 Кб	7 066,0 Кб	[список файлов]
ia64 (неофициальный перенос)	1.7.4-1	7 877,3 Кб	8 099,0 Кб	[список файлов]
m68k (неофициальный перенос)	1.7.4-1	6 669,1 Кб	6 859,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	1.7.4-1	7 094,4 Кб	7 321,0 Кб	[список файлов]
riscv64 (неофициальный перенос)	1.5.3-2	6 374,3 Кб	6 591,0 Кб	[список файлов]
sh4 (неофициальный перенос)	1.7.4-1	5 582,8 Кб	5 902,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	1.7.4-1	9 863,4 Кб	10 072,0 Кб	[список файлов]
x32 (неофициальный перенос)	1.7.4-1	9 959,6 Кб	10 153,0 Кб	[список файлов]