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

Last updated: December 23,2024

1. Install "depqbf" package

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

$ sudo apt update $ sudo apt install depqbf

2. Uninstall "depqbf" package

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

$ sudo apt remove depqbf $ sudo apt autoclean && sudo apt autoremove

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