How to Install and Uninstall cvc5 Package on Debian 12 (Bookworm)

Last updated: May 17,2024

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

MX Linux 23
SparkyLinux

1. Install "cvc5" package

Please follow the steps below to install cvc5 on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cvc5
            
                    
    
    Copied

2. Uninstall "cvc5" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cvc5
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the cvc5 package on Debian 12 (Bookworm)

Package: cvc5
Version: 1.0.3-1
Installed-Size: 474
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libcvc5-1 (= 1.0.3-1), libcvc5parser1 (= 1.0.3-1), libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 11)
Description: automated theorem prover for SMT problems
Description-md5: d1e715b2658513dcf601c320616177f6
Homepage: https://cvc5.github.io/
Section: math
Priority: optional
Filename: pool/main/c/cvc5/cvc5_1.0.3-1_amd64.deb
Size: 107900
MD5sum: 0365d814c7b9d765fe58de33efe4c8c2
SHA256: f22df023d52060892248bdedd3b9f6b6a41f3aad3cad4fd47141eec19abcf281