Package: lbt Priority: optional Section: universe/math Installed-Size: 140 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Architecture: amd64 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_amd64.deb Size: 33832 MD5sum: 5abfc2f0af8fddeff5e40afd1a0cbef7 SHA1: 3741fefd73b415a08c667b62f9e5ed5374e278ee SHA256: 68b8566e87845f9e00bf4ead5453a146e81dab499fc9f80286a1539059a410dd 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