How to Install and Uninstall libbdd-dev Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 16,2024

1. Install "libbdd-dev" package

Please follow the instructions below to install libbdd-dev on Ubuntu 23.10 (Mantic Minotaur)

$ sudo apt update $ sudo apt install libbdd-dev

2. Uninstall "libbdd-dev" package

This is a short guide on how to uninstall libbdd-dev on Ubuntu 23.10 (Mantic Minotaur):

$ sudo apt remove libbdd-dev $ sudo apt autoclean && sudo apt autoremove

3. Information about the libbdd-dev package on Ubuntu 23.10 (Mantic Minotaur)

Package: libbdd-dev
Architecture: amd64
Version: 2.4+dfsg-1
Priority: optional
Section: universe/libdevel
Source: buddy
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 834
Depends: libbdd0c2 (= 2.4+dfsg-1), libc6-dev | libc-dev
Filename: pool/universe/b/buddy/libbdd-dev_2.4+dfsg-1_amd64.deb
Size: 313516
MD5sum: 32c51065772b4b6d6a5282c616072878
SHA1: 483f4696451f2563346992be0f2b0dc199fcda23
SHA256: 63c3db5cbc27b04b770d7e4a2608769b581d09d0aef496c66e94bb89c54ae687
SHA512: 4f21fbbb554327dc9b396da89f14bb3ee57aa6356c34b1c35a170d91041de08c2aa2d7efddefba66891277936713d965b165f5cfc259424f759024dc2e33ba43
Homepage: https://buddy.sourceforge.net/manual/main.html
Description: Binary decision-diagram library (development)
Description-md5: caaa42509b2e5eb065636f9cd6cf753a