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