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