How to Install and Uninstall depqbf Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: December 29,2024

1. Install "depqbf" package

This guide covers the steps necessary to install depqbf on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                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 Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                depqbf
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the depqbf package on Ubuntu 23.10 (Mantic Minotaur)

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
SHA512: c7badb6e43a99e3966d88330e00d790a0abfd009914f00e915e18fb09f9d5723e761e044b20dbb12036da610c9128b8fcfe3440e7ee0c08aacf5055c56036e1f
Homepage: https://lonsing.github.io/depqbf/
Description: solver for quantified boolean formulae
Description-md5: 800bcc7a2bdea9545c4c8eb5c65df5f0