Package: lbt
Priority: optional
Section: universe/math
Installed-Size: 132
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: i386
Version: 1.2.2-5
Depends: libc6 (>= 2.7), libstdc++6 (>= 4.1.1)
Recommends: graphviz
Filename: pool/universe/l/lbt/lbt_1.2.2-5_i386.deb
Size: 32502
MD5sum: 4b64c23ed721e91113e6bd90a3e0f546
SHA1: 092a6c382b9c3e303d0308f3abeed4cda037251f
SHA256: b34d819a39d5072e486673eba6dd4af9f8aa42159dfc27f3e92422304590d8cc
Description: converts from LTL formulas to Büchi automata
Homepage: http://www.tcs.hut.fi/Software/maria/tools/lbt/
Description-md5: 508d9fd1936ff8ef3180b19bcae38fd9
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu