Пакет: lbt-dbgsym (1.2.2-7 и другие) [debports]

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

Не найден

dep: lbt (= 1.2.2-7) [не riscv64]

converts from LTL formulas to Büchi automata

dep: lbt (= 1.2.2-7+b1) [riscv64]

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	1.2.2-7	198,9 Кб	229,0 Кб	[список файлов]
hppa (неофициальный перенос)	1.2.2-7	194,7 Кб	221,0 Кб	[список файлов]
ia64 (неофициальный перенос)	1.2.2-7	221,7 Кб	252,0 Кб	[список файлов]
m68k (неофициальный перенос)	1.2.2-7	194,0 Кб	219,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	1.2.2-7	203,4 Кб	235,0 Кб	[список файлов]
riscv64 (неофициальный перенос)	1.2.2-7+b1	187,7 Кб	220,0 Кб	[список файлов]
sh4 (неофициальный перенос)	1.2.2-7	169,2 Кб	225,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	1.2.2-7	199,4 Кб	229,0 Кб	[список файлов]
x32 (неофициальный перенос)	1.2.2-7	194,0 Кб	219,0 Кб	[список файлов]