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

Last updated: May 19,2024

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

MX Linux 23
SparkyLinux

1. Install "libcvc4parser7" package

Learn how to install libcvc4parser7 on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc4parser7
            
                    
    
    Copied

2. Uninstall "libcvc4parser7" package

Please follow the guidelines below to uninstall libcvc4parser7 on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc4parser7
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcvc4parser7
Source: cvc4
Version: 1.8-3
Installed-Size: 2617
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libantlr3c-3.4-0 | libantlr3c-antlrdbg-3.4-0, libc6 (>= 2.33), libcln6, libcvc4-7 (>= 1.8), libgcc-s1 (>= 3.0), libstdc++6 (>= 11)
Description: automated theorem prover for SMT problems (parser runtime)
Description-md5: 41ac21a6409f50acd2200935984059a6
Multi-Arch: same
Homepage: https://cvc4.github.io/
Tag: role::shared-lib
Section: libs
Priority: optional
Filename: pool/main/c/cvc4/libcvc4parser7_1.8-3_amd64.deb
Size: 362304
MD5sum: 18c6ee97d57af8c08fb8675e3255cb2d
SHA256: 1617c61c2934452de281a57df6a2aaedfde8cc736dc85139d59e70c60a222cd7