How to Install and Uninstall lbt Package on Debian 10 (Buster)

Last updated: May 15,2024

1. Install "lbt" package

Please follow the instructions below to install lbt on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                lbt
            
                    
    
    Copied

2. Uninstall "lbt" package

Please follow the guidelines below to uninstall lbt on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                lbt
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the lbt package on Debian 10 (Buster)

Package: lbt
Version: 1.2.2-6
Installed-Size: 96
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.0), 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-6_amd64.deb
Size: 31132
MD5sum: 6dfe4d830dd287e3c6764d4493a03bb8
SHA256: ccd3ce62b5e6e77039dd1f22f6d9ab7246905dcf4c6af28be057f76d17dfb9a2