How to Install and Uninstall depqbf Package on Debian 11 (Bullseye)

Last updated: May 19,2024

1. Install "depqbf" package

Please follow the step by step instructions below to install depqbf on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                depqbf
            
                    
    
    Copied

2. Uninstall "depqbf" package

Please follow the step by step instructions below to uninstall depqbf on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                depqbf
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the depqbf package on Debian 11 (Bullseye)

Package: depqbf
Version: 5.01-3
Installed-Size: 674
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libc6 (>= 2.14)
Description: solver for quantified boolean formulae
Description-md5: 800bcc7a2bdea9545c4c8eb5c65df5f0
Homepage: https://lonsing.github.io/depqbf/
Section: interpreters
Priority: optional
Filename: pool/main/d/depqbf/depqbf_5.01-3_amd64.deb
Size: 138268
MD5sum: 88d75873de473db60d539f8590589e5a
SHA256: 57f606ca724c402f29b0b3d3f74bde82e83ebbd5f40dd1ed4040224a93ddb2fe