How to Install and Uninstall libbdd0c2 Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: May 09,2024

1. Install "libbdd0c2" package

This is a short guide on how to install libbdd0c2 on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libbdd0c2
            
                    
    
    Copied

2. Uninstall "libbdd0c2" package

Here is a brief guide to show you how to uninstall libbdd0c2 on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libbdd0c2
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libbdd0c2 package on Ubuntu 20.10 (Groovy Gorilla)

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