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