DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnamelbt
Beschreibungconverts from LTL formulas to Büchi automata
Archiv/RepositoryOffizielles Ubuntu Archiv quantal (universe)
Version1.2.2-5
Sektionuniverse/math
Prioritätoptional
Installierte Größe132 Byte
Hängt ab vonlibc6 (>= 2.7), libstdc++6 (>= 4.1.1)
Empfohlene Paketegraphviz
PaketbetreuerUbuntu Developers
Quelle
Paketgröße32502 Byte
Prüfsumme MD54b64c23ed721e91113e6bd90a3e0f546
Prüfsumme SHA1092a6c382b9c3e303d0308f3abeed4cda037251f
Prüfsumme SHA256b34d819a39d5072e486673eba6dd4af9f8aa42159dfc27f3e92422304590d8cc
Link zum Herunterladenlbt_1.2.2-5_i386.deb
Ausführliche Beschreibung

Impressum
Linux is a registered trademark of Linus Torvalds