[ Paquet source : lbt ]
Paquet : lbt (1.2.2-7build1) [universe]
À propos
published in section universe
Ressources Ubuntu :
Source Package lbt:
Responsable :
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Science Maintainers (Archive du courrier électronique)
- Ralf Treinen
It should generally not be necessary for users to contact the original maintainer.
Ressources externes :
- Page d'accueil [www.tcs.hut.fi]
Paquets similaires :
converts from LTL formulas to Büchi automata
Autres paquets associés à 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
Télécharger lbt
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| amd64 | 29,4 ko | 98,0 ko | [liste des fichiers] |
| arm64 | 30,6 ko | 166,0 ko | [liste des fichiers] |
| armhf | 28,0 ko | 164,0 ko | [liste des fichiers] |
| ppc64el | 31,1 ko | 166,0 ko | [liste des fichiers] |
| riscv64 | 34,8 ko | 90,0 ko | [liste des fichiers] |
| s390x | 29,4 ko | 90,0 ko | [liste des fichiers] |