How to Install and Uninstall libcryptominisat5-5.8 Package on Debian 11 (Bullseye)

Last updated: November 23,2024

1. Install "libcryptominisat5-5.8" package

In this section, we are going to explain the necessary steps to install libcryptominisat5-5.8 on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcryptominisat5-5.8
            
                    
    
    Copied

2. Uninstall "libcryptominisat5-5.8" package

Please follow the guidance below to uninstall libcryptominisat5-5.8 on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcryptominisat5-5.8
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcryptominisat5-5.8 package on Debian 11 (Bullseye)

Package: libcryptominisat5-5.8
Source: cryptominisat (5.8.0+dfsg1-1)
Version: 5.8.0+dfsg1-1+b3
Installed-Size: 1090
Maintainer: Debian Science Team
Architecture: amd64
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libm4ri-0.0.20200125 (>= 20200125), libstdc++6 (>= 6)
Description: SAT solver library
Description-md5: 5034802a972a5e9d407dd56d8056f73c
Multi-Arch: same
Homepage: https://www.msoos.org/
Tag: role::shared-lib
Section: libs
Priority: optional
Filename: pool/main/c/cryptominisat/libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb
Size: 416028
MD5sum: cf36b82373eb876b91bdf60d0112576e
SHA256: fd51492c1bccb22836b4854d7795e3ebd831ad493eda1ece3e2e59982a7cc6cb