How to Install and Uninstall libcvc5-dev Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 17,2024

1. Install "libcvc5-dev" package

Please follow the guidelines below to install libcvc5-dev on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc5-dev
            
                    
    
    Copied

2. Uninstall "libcvc5-dev" package

In this section, we are going to explain the necessary steps to uninstall libcvc5-dev on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc5-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcvc5-dev package on Ubuntu 24.04 LTS (Noble Numbat)

Package: libcvc5-dev
Architecture: amd64
Version: 1.1.2-1
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: 685
Depends: libcvc5-1 (= 1.1.2-1), libcvc5parser1 (= 1.1.2-1), libgmp-dev
Filename: pool/universe/c/cvc5/libcvc5-dev_1.1.2-1_amd64.deb
Size: 84186
MD5sum: a89cfeef9d23fec4dbb8f40fd0dafcf6
SHA1: 3d6282f0ca0ee88df80d45448620131c8ac77cba
SHA256: ac9f31906525bd543d2724bcbbef297003665300f4bc5e4400b50b33e9ebb4c9
SHA512: 94f44ea16e5d33498f2307f9b522e46cfa897f2a5036d39cb14e3b7fb3bb8518cd0e5f1d16b017727cf876bba7e43d904f40823c9be3354bbc2362a1e6f97137
Homepage: https://cvc5.github.io/
Description: automated theorem prover for SMT problems (development files)
Description-md5: 0b8dea11ab5594daed4bb6d77d3985a6