[ Источник: lbt ]
Пакет: lbt (1.2.2-7build1) [universe]
О Debian
published in section universe
Ресурсы Ubuntu:
Source Package lbt:
Сопровождающий:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Science Maintainers (Почтовый архив)
- Ralf Treinen
It should generally not be necessary for users to contact the original maintainer.
Внешние ресурсы:
- Сайт [www.tcs.hut.fi]
Подобные пакеты:
converts from LTL formulas to Büchi automata
Другие пакеты, относящиеся к lbt
|
|
|
|
-
- dep: libc6 (>= 2.38)
- GNU C Library: Shared libraries
-
- dep: libstdc++6 (>= 5)
- GNU Standard C++ Library v3
-
- rec: graphviz
- rich set of graph drawing tools
Загрузка lbt
| Архитектура | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|
| amd64 | 29,4 Кб | 98,0 Кб | [список файлов] |
| arm64 | 30,6 Кб | 166,0 Кб | [список файлов] |
| armhf | 28,0 Кб | 164,0 Кб | [список файлов] |
| ppc64el | 31,1 Кб | 166,0 Кб | [список файлов] |
| riscv64 | 34,8 Кб | 90,0 Кб | [список файлов] |
| s390x | 29,4 Кб | 90,0 Кб | [список файлов] |