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

Last updated: September 19,2024

1. Install "libcvc5-1" package

This guide covers the steps necessary to install libcvc5-1 on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc5-1
            
                    
    
    Copied

2. Uninstall "libcvc5-1" package

Please follow the instructions below to uninstall libcvc5-1 on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc5-1
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcvc5-1
Architecture: amd64
Version: 1.1.2-1
Multi-Arch: same
Priority: optional
Section: universe/libs
Source: cvc5
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 15209
Depends: libc6 (>= 2.38), libcln6, libcryptominisat5-5.11t64 (>= 5.11.15+dfsg1), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Filename: pool/universe/c/cvc5/libcvc5-1_1.1.2-1_amd64.deb
Size: 5085366
MD5sum: 16264af8e29ba64e3e0707f4bfd0abf2
SHA1: 4806a713ee1f4cefd906ceec9bc72d5cb14b745b
SHA256: 080c98a5dd32c55c3a317e8f1d89b846b31e982ee597f23f1214f401880fedc6
SHA512: c4699f9820e23cd9dc1819f2ba9cecd101948f1ac14064b5a772bccc656c2e17eaffa2e914bc895fdf6603c169c6e0b0c3ce9eec170bc16f411ed22844b1382c
Homepage: https://cvc5.github.io/
Description: automated theorem prover for SMT problems (runtime)
Description-md5: b803697ab6597bb2d26e0959f1764779