How to Install and Uninstall depqbf Package on Linux Mint 20.3 (Una)

Last updated: February 24,2025

1. Install "depqbf" package

This guide covers the steps necessary to install depqbf on Linux Mint 20.3 (Una)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                depqbf
            
                    
    
    Copied

2. Uninstall "depqbf" package

Please follow the steps below to uninstall depqbf on Linux Mint 20.3 (Una):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                depqbf
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the depqbf package on Linux Mint 20.3 (Una)

Package: depqbf
Architecture: amd64
Version: 5.01-3
Priority: extra
Section: universe/interpreters
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 674
Depends: libc6 (>= 2.14)
Filename: pool/universe/d/depqbf/depqbf_5.01-3_amd64.deb
Size: 136700
MD5sum: c57eff337b08c2d67aa29305d59f016f
SHA1: c958f8eb6dd955cabdb3eff84b2927b3ccdb3820
SHA256: 8f2d715d6cdbbb2c9c519997a7964e4c2486f3e34a6226c5c84b06e48dc51d9c
Homepage: https://lonsing.github.io/depqbf/
Description: solver for quantified boolean formulae
Description-md5: 800bcc7a2bdea9545c4c8eb5c65df5f0