[ Source: lbt ]
Paketti: lbt (1.2.2-7build1) [universe]
Tietoa
published in section universe
Ubuntu-palvelut:
Source Package lbt:
Ylläpitäjä:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Science Maintainers (Mail Archive)
- Ralf Treinen
It should generally not be necessary for users to contact the original maintainer.
External Resources:
- Kotisivu [www.tcs.hut.fi]
Samankaltaisia paketteja:
converts from LTL formulas to Büchi automata
Muut pakettiin lbt liittyvät paketit
|
|
|
|
-
- 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
Imuroi lbt
| Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|
| amd64 | 29.4 kt | 98.0 kt | [tiedostoluettelo] |
| arm64 | 30.6 kt | 166.0 kt | [tiedostoluettelo] |
| armhf | 28.0 kt | 164.0 kt | [tiedostoluettelo] |
| ppc64el | 31.1 kt | 166.0 kt | [tiedostoluettelo] |
| riscv64 | 34.8 kt | 90.0 kt | [tiedostoluettelo] |
| s390x | 29.4 kt | 90.0 kt | [tiedostoluettelo] |