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

Last updated: May 19,2024

1. Install "libcvc5-dev" package

Learn how to install libcvc5-dev on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc5-dev
            
                    
    
    Copied

2. Uninstall "libcvc5-dev" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc5-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcvc5-dev
Architecture: amd64
Version: 1.0.5-3
Priority: optional
Section: universe/libdevel
Source: cvc5
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 431
Depends: libcvc5-1 (= 1.0.5-3), libcvc5parser1 (= 1.0.5-3), libgmp-dev
Filename: pool/universe/c/cvc5/libcvc5-dev_1.0.5-3_amd64.deb
Size: 54488
MD5sum: 63e191f307c14e2c381f77f438a32890
SHA1: 67e84702dd58974eb9e99db6815c7effca798eb4
SHA256: d05fd267eee8803217264eb575d34f63bd64dc9f26c24f5dfe01816f2261ac62
SHA512: ba033c240caac54f5ade3a9fc909042928e51d20e00dcec3825f1b429cc256bdf7372f8be548534d43fee39852ef8ebb36c71249c60895ba640909d0de52c2f7
Homepage: https://cvc5.github.io/
Description: automated theorem prover for SMT problems (development files)
Description-md5: 0b8dea11ab5594daed4bb6d77d3985a6