How to Install and Uninstall libcvc4-5 Package on Debian 10 (Buster)

Last updated: May 18,2024

1. Install "libcvc4-5" package

Please follow the guidance below to install libcvc4-5 on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc4-5
            
                    
    
    Copied

2. Uninstall "libcvc4-5" package

Learn how to uninstall libcvc4-5 on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc4-5
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcvc4-5 package on Debian 10 (Buster)

Package: libcvc4-5
Source: cvc4 (1.6-2)
Version: 1.6-2+b1
Installed-Size: 13759
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libc6 (>= 2.17), libgcc1 (>= 1:3.0), libgmp10, libstdc++6 (>= 5.2)
Description: automated theorem prover for SMT problems (runtime)
Description-md5: c40fc25141139d2bcef073340835fff8
Multi-Arch: same
Homepage: http://cvc4.cs.stanford.edu/web/
Tag: role::shared-lib
Section: libs
Priority: optional
Filename: pool/main/c/cvc4/libcvc4-5_1.6-2+b1_amd64.deb
Size: 4056556
MD5sum: 4fcea29c91e5d62a3959ea2d8847d12d
SHA256: c9d235470facc13799ecf6b7d839788cf4da26385775b339b2a1b7c88805fc5c