How to Install and Uninstall libcvc5-1 Package on Debian 12 (Bookworm)

Last updated: January 11,2025

You can also install and uninstall the libcvc5-1 on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "libcvc5-1" package

This is a short guide on how to install libcvc5-1 on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc5-1
            
                    
    
    Copied

2. Uninstall "libcvc5-1" package

Here is a brief guide to show you how to uninstall libcvc5-1 on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc5-1
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcvc5-1 package on Debian 12 (Bookworm)

Package: libcvc5-1
Source: cvc5
Version: 1.0.3-1
Installed-Size: 22249
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libc6 (>= 2.34), libcln6, libcryptominisat5-5.11 (>= 5.11.4+dfsg1), libgcc-s1 (>= 3.0), libstdc++6 (>= 11)
Description: automated theorem prover for SMT problems (runtime)
Description-md5: b803697ab6597bb2d26e0959f1764779
Multi-Arch: same
Homepage: https://cvc5.github.io/
Tag: role::shared-lib
Section: libs
Priority: optional
Filename: pool/main/c/cvc5/libcvc5-1_1.0.3-1_amd64.deb
Size: 5841260
MD5sum: 5e09ded5de1aefaaed114529514a6941
SHA256: c4e01d2c78f45b85ec1cbb59bafab389fb2c7659858c39fa31266bce16e85bb5