How to Install and Uninstall libbdd0c2 Package on Ubuntu 21.10 (Impish Indri)
Last updated: December 23,2024
1. Install "libbdd0c2" package
Please follow the instructions below to install libbdd0c2 on Ubuntu 21.10 (Impish Indri)
$
sudo apt update
Copied
$
sudo apt install
libbdd0c2
Copied
2. Uninstall "libbdd0c2" package
Learn how to uninstall libbdd0c2 on Ubuntu 21.10 (Impish Indri):
$
sudo apt remove
libbdd0c2
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libbdd0c2 package on Ubuntu 21.10 (Impish Indri)
Package: libbdd0c2
Architecture: amd64
Version: 2.4-11build1
Priority: optional
Section: universe/libs
Source: buddy
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian QA Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 136
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 4.9)
Filename: pool/universe/b/buddy/libbdd0c2_2.4-11build1_amd64.deb
Size: 51356
MD5sum: a9d211e51b7e2175eedca812e60a8c15
SHA1: 3371ab602e0ef02006e82afda1b73a62e1d7dfaa
SHA256: 12be6c6b69bbd68542d2a8b771d8fbe9016b01de9427342125f8b4ab676dc357
SHA512: 591cd52280090dc9d39d8a78ee1e542ccc60e82a053d99052245495a95a30f823d7a9a718415b6f079d7f37fbc784f2d155de95d42f2e79ae97d3daa5352c165
Homepage: http://buddy.sourceforge.net
Description-en: Binary decision-diagram library (runtime)
Binary decision diagrams (BDDs) are space-efficient encodings of
boolean expressions or dynamic truth tables, used in eg. model
checking. This is the runtime package for programs that use the
BuDDy library.
Description-md5: b3e8960dec071b06cd523391a20941ac
Architecture: amd64
Version: 2.4-11build1
Priority: optional
Section: universe/libs
Source: buddy
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian QA Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 136
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libstdc++6 (>= 4.9)
Filename: pool/universe/b/buddy/libbdd0c2_2.4-11build1_amd64.deb
Size: 51356
MD5sum: a9d211e51b7e2175eedca812e60a8c15
SHA1: 3371ab602e0ef02006e82afda1b73a62e1d7dfaa
SHA256: 12be6c6b69bbd68542d2a8b771d8fbe9016b01de9427342125f8b4ab676dc357
SHA512: 591cd52280090dc9d39d8a78ee1e542ccc60e82a053d99052245495a95a30f823d7a9a718415b6f079d7f37fbc784f2d155de95d42f2e79ae97d3daa5352c165
Homepage: http://buddy.sourceforge.net
Description-en: Binary decision-diagram library (runtime)
Binary decision diagrams (BDDs) are space-efficient encodings of
boolean expressions or dynamic truth tables, used in eg. model
checking. This is the runtime package for programs that use the
BuDDy library.
Description-md5: b3e8960dec071b06cd523391a20941ac