How to Install and Uninstall libcryptominisat5-dev Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 11,2024

1. Install "libcryptominisat5-dev" package

This tutorial shows how to install libcryptominisat5-dev on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcryptominisat5-dev
            
                    
    
    Copied

2. Uninstall "libcryptominisat5-dev" package

Please follow the guidelines below to uninstall libcryptominisat5-dev on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcryptominisat5-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcryptominisat5-dev package on Ubuntu 23.10 (Mantic Minotaur)

Package: libcryptominisat5-dev
Architecture: amd64
Version: 5.11.4+dfsg1-3
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: 82
Depends: libcryptominisat5-5.11 (= 5.11.4+dfsg1-3)
Filename: pool/universe/c/cryptominisat/libcryptominisat5-dev_5.11.4+dfsg1-3_amd64.deb
Size: 17306
MD5sum: c6ac7dfb9845fc16ebccee214dc5bdaa
SHA1: c396705e2ef64456fe4164dc9d09ff013cf0e08e
SHA256: 5c5edbaf7d5ed8161807e83d469ab56e8c2f825ff8e0cbe5c16c156227233b16
SHA512: 5e6642d9c30ca7bf257b7d6dde0055246792fb4ff7738e7cbb0128c1cdca3eb404010d65181e8cf99927f14077a374345b523f92bdf9825c80805bd6d9dcfb8d
Homepage: https://www.msoos.org/
Description: development files for the CryptoMiniSat SAT solver
Description-md5: f8f2f7e4ceaa14d0a5cf6abb1c1eb23b