How to Install and Uninstall libcryptominisat5-dev Package on Debian 12 (Bookworm)

Last updated: May 11,2024

You can also install and uninstall the libcryptominisat5-dev on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "libcryptominisat5-dev" package

Please follow the guidelines below to install libcryptominisat5-dev on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcryptominisat5-dev
            
                    
    
    Copied

2. Uninstall "libcryptominisat5-dev" package

This guide let you learn how to uninstall libcryptominisat5-dev on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcryptominisat5-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcryptominisat5-dev package on Debian 12 (Bookworm)

Package: libcryptominisat5-dev
Source: cryptominisat (5.11.4+dfsg1-2)
Version: 5.11.4+dfsg1-2+b1
Installed-Size: 83
Maintainer: Debian Science Team
Architecture: amd64
Depends: libcryptominisat5-5.11 (= 5.11.4+dfsg1-2+b1)
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.11.4+dfsg1-2+b1_amd64.deb
Size: 18324
MD5sum: 953e040030cad531736891eb54a1f7d3
SHA256: e5f58554158d7364f19ec1c2006e73291c9ae7af2be319c747cda33576c2a0a1