How to Install and Uninstall libcvc4-7 Package on Debian 11 (Bullseye)

Last updated: May 15,2024

1. Install "libcvc4-7" package

This tutorial shows how to install libcvc4-7 on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc4-7
            
                    
    
    Copied

2. Uninstall "libcvc4-7" package

Learn how to uninstall libcvc4-7 on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc4-7
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcvc4-7 package on Debian 11 (Bullseye)

Package: libcvc4-7
Source: cvc4
Version: 1.8-2
Installed-Size: 23216
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libc6 (>= 2.29), libcln6, libcryptominisat5-5.8 (>= 5.8.0+dfsg1), libgcc-s1 (>= 3.0), libstdc++6 (>= 9)
Description: automated theorem prover for SMT problems (runtime)
Description-md5: c40fc25141139d2bcef073340835fff8
Multi-Arch: same
Homepage: https://cvc4.github.io/
Tag: role::shared-lib
Section: libs
Priority: optional
Filename: pool/main/c/cvc4/libcvc4-7_1.8-2_amd64.deb
Size: 5651716
MD5sum: 755e2be39980154979737be6c6b0a564
SHA256: 0c8a94d356f7c025e5292e305ccd75e98f5f4dd6a8810bfad28347d6bccaaccb