Package: lbt Architecture: amd64 Version: 1.2.2-6 Priority: optional Section: universe/math Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian Science Maintainers Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 94 Depends: libc6 (>= 2.14), libstdc++6 (>= 5) Recommends: graphviz Filename: pool/universe/l/lbt/lbt_1.2.2-6_amd64.deb Size: 30066 MD5sum: 5acba0fc81b831bfc27a864d1a555095 SHA1: a3fa3134e9381271776ff2f04e7925fff43221b7 SHA256: 7a3cb1af4eba1a1f91eb784b44bcc24a79c94f1b5214921ccde285839dbc7afe Homepage: http://www.tcs.hut.fi/Software/maria/tools/lbt/ Description: converts from LTL formulas to Büchi automata Description-md5: 508d9fd1936ff8ef3180b19bcae38fd9