Пакет: mona-dbgsym (1.4-18-1 и други) [debports]

Връзки за mona-dbgsym

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

dep: mona (= 1.4-18-1) [не riscv64]

theorem prover based on automata

dep: mona (= 1.4-18-1+b1) [riscv64]

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
alpha (неофициална архитектура)	1.4-18-1	1 059,3 кБ	1 220,0 кБ	[списък на файловете]
hppa (неофициална архитектура)	1.4-18-1	1 026,0 кБ	1 160,0 кБ	[списък на файловете]
ia64 (неофициална архитектура)	1.4-18-1	1 249,9 кБ	1 411,0 кБ	[списък на файловете]
m68k (неофициална архитектура)	1.4-18-1	905,4 кБ	1 032,0 кБ	[списък на файловете]
ppc64 (неофициална архитектура)	1.4-18-1	1 062,2 кБ	1 246,0 кБ	[списък на файловете]
riscv64 (неофициална архитектура)	1.4-18-1+b1	1 009,1 кБ	1 189,0 кБ	[списък на файловете]
sh4 (неофициална архитектура)	1.4-18-1	942,2 кБ	1 107,0 кБ	[списък на файловете]
sparc64 (неофициална архитектура)	1.4-18-1	1 002,1 кБ	1 167,0 кБ	[списък на файловете]
x32 (неофициална архитектура)	1.4-18-1	1 037,4 кБ	1 176,0 кБ	[списък на файловете]