How to Install and Uninstall libcvc4parser5 Package on Debian 10 (Buster)

Last updated: May 19,2024

1. Install "libcvc4parser5" package

Please follow the instructions below to install libcvc4parser5 on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc4parser5
            
                    
    
    Copied

2. Uninstall "libcvc4parser5" package

This guide let you learn how to uninstall libcvc4parser5 on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc4parser5
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcvc4parser5 package on Debian 10 (Buster)

Package: libcvc4parser5
Source: cvc4 (1.6-2)
Version: 1.6-2+b1
Installed-Size: 3014
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libantlr3c-3.4-0 | libantlr3c-antlrdbg-3.4-0, libc6 (>= 2.14), libcvc4-5, libgcc1 (>= 1:3.0), libgmp10, libstdc++6 (>= 5.2)
Description: automated theorem prover for SMT problems (parser runtime)
Description-md5: 41ac21a6409f50acd2200935984059a6
Multi-Arch: same
Homepage: http://cvc4.cs.stanford.edu/web/
Tag: role::shared-lib
Section: libs
Priority: optional
Filename: pool/main/c/cvc4/libcvc4parser5_1.6-2+b1_amd64.deb
Size: 362516
MD5sum: bca30c08d930f2b721ad11f23d03d88d
SHA256: 802660568d65874a75cce597f18aac2aa968e3652266f916523a7368d80f7700