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

Last updated: May 12,2024

1. Install "libcryptominisat5-dev" package

Please follow the guidelines below to install libcryptominisat5-dev on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcryptominisat5-dev
            
                    
    
    Copied

2. Uninstall "libcryptominisat5-dev" package

This guide covers the steps necessary to uninstall libcryptominisat5-dev on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcryptominisat5-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcryptominisat5-dev
Source: cryptominisat (5.8.0+dfsg1-1)
Version: 5.8.0+dfsg1-1+b3
Installed-Size: 64
Maintainer: Debian Science Team
Architecture: amd64
Depends: libcryptominisat5-5.8 (= 5.8.0+dfsg1-1+b3)
Description: development files for the CryptoMiniSat SAT solver
Description-md5: f8f2f7e4ceaa14d0a5cf6abb1c1eb23b
Multi-Arch: same
Homepage: https://www.msoos.org/
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/c/cryptominisat/libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb
Size: 13976
MD5sum: 30033905f230b352286ea89058705faa
SHA256: 811860e7c0529dd7603e391bbc9fb7a43c8d096b84a4ded81d7b7bb7086adbc3