How to Install and Uninstall lbt Package on Ubuntu 22.10 (Kinetic Kudu)
Last updated: December 23,2024
1. Install "lbt" package
This tutorial shows how to install lbt on Ubuntu 22.10 (Kinetic Kudu)
$
sudo apt update
Copied
$
sudo apt install
lbt
Copied
2. Uninstall "lbt" package
This guide covers the steps necessary to uninstall lbt on Ubuntu 22.10 (Kinetic Kudu):
$
sudo apt remove
lbt
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the lbt package on Ubuntu 22.10 (Kinetic Kudu)
Package: lbt
Architecture: amd64
Version: 1.2.2-7
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 99
Depends: libc6 (>= 2.14), libstdc++6 (>= 5)
Recommends: graphviz
Filename: pool/universe/l/lbt/lbt_1.2.2-7_amd64.deb
Size: 30008
MD5sum: 113d1cace5ccfea219ad39aef1fec46c
SHA1: 85d51e2b8a472b84361ba649705ab4482d5a53fb
SHA256: ae772c1e884317d95929756be360be95dbad34e00be03d078d12b099772a954e
SHA512: 59fdd5e6441098230dbbfbd6612321d64883f82ac7685e7a0d2b771bcf40a5e1ab35b898c84a1eeffb7e37b3d8c10363e8532b2120b1abd4dbb1a3bd0c04ffd3
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-7
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 99
Depends: libc6 (>= 2.14), libstdc++6 (>= 5)
Recommends: graphviz
Filename: pool/universe/l/lbt/lbt_1.2.2-7_amd64.deb
Size: 30008
MD5sum: 113d1cace5ccfea219ad39aef1fec46c
SHA1: 85d51e2b8a472b84361ba649705ab4482d5a53fb
SHA256: ae772c1e884317d95929756be360be95dbad34e00be03d078d12b099772a954e
SHA512: 59fdd5e6441098230dbbfbd6612321d64883f82ac7685e7a0d2b771bcf40a5e1ab35b898c84a1eeffb7e37b3d8c10363e8532b2120b1abd4dbb1a3bd0c04ffd3
Homepage: http://www.tcs.hut.fi/Software/maria/tools/lbt/
Description: converts from LTL formulas to Büchi automata
Description-md5: 508d9fd1936ff8ef3180b19bcae38fd9