[  etiona  ] [  nabia  ] [  aramo  ]

Links for lbt

Trisquel Resources:

• Bug Reports
• Changelog
• Copyright File
• Debian Source Repository (Git)

Maintainer:

• Debian Science Maintainers (Mail Archive)

Original Maintainers:

• Debian Science Maintainers (Mail Archive)
• Ralf Treinen

External Resources:

• Homepage [www.tcs.hut.fi]

The following binary packages are built from this source package:

lbt

converts from LTL formulas to Büchi automata

Other Packages Related to lbt

build-depends

build-depends-indep

• adep: debhelper-compat (= 12)

  Package not available

Download lbt

File	Size (in kB)	MD5 checksum
lbt_1.2.2-7.dsc	1.9 kB	da86ce9abd0fb5213a46e63c723802ae
lbt_1.2.2.orig.tar.gz	20.1 kB	4e3315451d465fd941e81822e53aa2a0
lbt_1.2.2-7.debian.tar.xz	3.4 kB	a76c2b57592200f49f9fb1c89a5baca5

Debian Package Source Repository (VCS: Git)

https://salsa.debian.org/science-team/lbt.git

Debian Package Source Repository (Browsable)

https://salsa.debian.org/science-team/lbt