» Ubuntu » Packages » precise (12.04LTS) » Source » math » lbt
precise  ] [  trusty  ] [  xenial  ] [  yakkety  ] [  zesty  ]

Source Package: lbt (1.2.2-5) [universe]

Links for lbt

Ubuntu Resources:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

External Resources:

The following binary packages are built from this source package:
converts from LTL formulas to Büchi automata

Other Packages Related to lbt

  • build-depends
  • build-depends-indep
  • adep: debhelper (>= 7.0)
    helper programs for debian/rules

Download lbt

FileSize (in kB)MD5 checksum
lbt_1.2.2-5.dsc 1.1 kB 6f20a90ae7214271e823c694ec7a251b
lbt_1.2.2.orig.tar.gz 20.1 kB 4e3315451d465fd941e81822e53aa2a0
lbt_1.2.2-5.debian.tar.gz 2.8 kB c6c2a6995a9c12a0ba886e360dcd4e07