packages
[ Pakiet źródłowy: lbt ]
Pakiet: lbt (1.2.2-7build1) [universe]
O
published in section universe
Zasoby systemu Ubuntu:
- Launchpad
- Raporty o błędach
- Source Package
- Publishing History
- Changelog
- Informacje nt. praw autorskich
Source Package lbt:
Opiekun:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Science Maintainers (Archiwum e-mail)
- Ralf Treinen
It should generally not be necessary for users to contact the original maintainer.
Zasoby zewnętrzne:
- Strona internetowa [www.tcs.hut.fi]
Podobne pakiety:
converts from LTL formulas to Büchi automata
Inne pakiety związane z 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
Pobieranie lbt
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| amd64 | 29,4 KiB | 98,0 KiB | [lista plików] |
| arm64 | 30,6 KiB | 166,0 KiB | [lista plików] |
| armhf | 28,0 KiB | 164,0 KiB | [lista plików] |
| ppc64el | 31,1 KiB | 166,0 KiB | [lista plików] |
| riscv64 | 34,8 KiB | 90,0 KiB | [lista plików] |
| s390x | 29,4 KiB | 90,0 KiB | [lista plików] |