How to Install and Uninstall lbt Package on Debian 12 (Bookworm)

Last updated: November 26,2024

You can also install and uninstall the lbt on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "lbt" package

Please follow the instructions below to install lbt on Debian 12 (Bookworm)


    
        
            $
        

        
            
                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 Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                lbt
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the lbt package on Debian 12 (Bookworm)

Package: lbt
Version: 1.2.2-7
Installed-Size: 100
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libc6 (>= 2.14), libstdc++6 (>= 5)
Recommends: graphviz
Description: converts from LTL formulas to Büchi automata
Description-md5: 508d9fd1936ff8ef3180b19bcae38fd9
Homepage: http://www.tcs.hut.fi/Software/maria/tools/lbt/
Tag: field::mathematics, interface::commandline, role::program,
scope::utility, use::converting
Section: science
Priority: optional
Filename: pool/main/l/lbt/lbt_1.2.2-7_amd64.deb
Size: 30608
MD5sum: f21dc8d618d34912f70475439a08faf2
SHA256: 51badb4a7d7a6f90ad9dfa401f1c09dc895a849193e2009490669e1497bde64e