lbt (1.2.2-7build1)

Details

Core information at a glance

Distribution
ubuntu
Origin
ubuntu-stonking
Repository
https://nl.archive.ubuntu.com/ubuntu
Codename
stonking
Component
universe
Source
none
Architecture
amd64v3
Section
universe/math
Priority
optional
Maintainer
Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
102 B
Size expected
31.9 kB
Size actual
31.9 kB
Size match

Dependencies

Required package dependencies

  • libc6 (>= 2.38)
  • libstdc++6 (>= 5)

Suggested packages

Recommended additional packages

  • None

Description

converts from LTL formulas to Büchi automata

Homepage Download .deb

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD5f84c1682…e348da99
SHA-1e345e92f…11d0258a
SHA-25632a58225…a4b600b8
SHA-5128d0b966b…97fd09c7

Contents

Files and directories included

.
usr
usr/bin
usr/bin/lbt
usr/bin/lbt2dot
usr/share
usr/share/doc
usr/share/doc/lbt
usr/share/doc/lbt/changelog.Debian.gz
usr/share/doc/lbt/copyright
usr/share/doc/lbt/index.html
usr/share/doc/lbt/notgp0-opt.png
usr/share/doc/lbt/notgp0.png
usr/share/doc-base
usr/share/doc-base/lbt.lbt
usr/share/man
usr/share/man/man1
usr/share/man/man1/lbt.1.gz
usr/share/man/man1/lbt2dot.1.gz