[ sid ]
Пакет: lbt-dbgsym (1.2.2-7) [debports]
debug symbols for lbt
Другие пакеты, относящиеся к lbt-dbgsym
|
|
|
|
-
- dep: lbt (= 1.2.2-7)
- converts from LTL formulas to Büchi automata
Загрузка lbt-dbgsym
Архитектура | Размер пакета | В установленном виде | Файлы |
---|---|---|---|
x32 (неофициальный перенос) | 194,0 Кб | 219,0 Кб | [список файлов] |