How to Install and Uninstall lbt Package on Ubuntu 20.04 LTS (Focal Fossa)
Last updated: December 23,2024
1. Install "lbt" package
Learn how to install lbt on Ubuntu 20.04 LTS (Focal Fossa)
$
sudo apt update
Copied
$
sudo apt install
lbt
Copied
2. Uninstall "lbt" package
In this section, we are going to explain the necessary steps to uninstall lbt on Ubuntu 20.04 LTS (Focal Fossa):
$
sudo apt remove
lbt
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the lbt package on Ubuntu 20.04 LTS (Focal Fossa)
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
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