| Paketname | lbt |
| Beschreibung | converts from LTL formulas to Büchi automata |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 1.2.2-5 |
| Sektion | science |
| Priorität | extra |
| Installierte Größe | 132 Byte |
| Hängt ab von | libc6 (>= 2.7), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.1.1) |
| Empfohlene Pakete | graphviz |
| Paketbetreuer | Debian Science Maintainers |
| Quelle | |
| Paketgröße | 33670 Byte |
| Prüfsumme MD5 | 256d8069ab07ea3f09dcc2b6fc29e24e |
| Prüfsumme SHA1 | 34f1b7ec5248666bb8ce7cff0041a9841b4d6785 |
| Prüfsumme SHA256 | 672a5accaed6e1a4e7d9376f8be2eca2c95413ed83911f94d226cc4e1bc3ea8d |
| Link zum Herunterladen | lbt_1.2.2-5_i386.deb |
| Ausführliche Beschreibung | scope::utility, use::converting
|