How to Install and Uninstall libcryptominisat5-dev Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: May 10,2024

1. Install "libcryptominisat5-dev" package

Here is a brief guide to show you how to install libcryptominisat5-dev on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcryptominisat5-dev
            
                    
    
    Copied

2. Uninstall "libcryptominisat5-dev" package

Learn how to uninstall libcryptominisat5-dev on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcryptominisat5-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcryptominisat5-dev package on Ubuntu 22.10 (Kinetic Kudu)

Package: libcryptominisat5-dev
Architecture: amd64
Version: 5.8.0+dfsg1-2
Multi-Arch: same
Priority: optional
Section: universe/libdevel
Source: cryptominisat
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Team
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 63
Depends: libcryptominisat5-5.8 (= 5.8.0+dfsg1-2)
Filename: pool/universe/c/cryptominisat/libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb
Size: 12978
MD5sum: 307b5672919e50e655f5de2c86ff8a7d
SHA1: 704ab81cbf688214b978f2fd172b402edcfeb7d4
SHA256: 1edb5b1802363ad3c95fcaaa4479f1259e652ad2d3499c3d896ba74dda770810
SHA512: 052d60d6c495c62ca89ba8de8521ac3af8ce416569f2435465ea32dab4a8c6e3f0f2a6d9cc797392667dd7d2b61fe3af6b2def0ac0ce36c062be1cdb3f2d164f
Homepage: https://www.msoos.org/
Description: development files for the CryptoMiniSat SAT solver
Description-md5: f8f2f7e4ceaa14d0a5cf6abb1c1eb23b