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

Last updated: May 18,2024

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

MX Linux 23
SparkyLinux

1. Install "libcvc5parser1" package

This tutorial shows how to install libcvc5parser1 on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc5parser1
            
                    
    
    Copied

2. Uninstall "libcvc5parser1" package

Please follow the instructions below to uninstall libcvc5parser1 on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc5parser1
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcvc5parser1
Source: cvc5
Version: 1.0.3-1
Installed-Size: 1637
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libantlr3c-3.4-0 | libantlr3c-antlrdbg-3.4-0, libc6 (>= 2.32), libcvc5-1 (>= 1.0.3), libgcc-s1 (>= 3.0), libstdc++6 (>= 11)
Description: automated theorem prover for SMT problems (parser runtime)
Description-md5: c3a5bb5e9e41edcc86d8956a94b4711a
Multi-Arch: same
Homepage: https://cvc5.github.io/
Tag: role::shared-lib
Section: libs
Priority: optional
Filename: pool/main/c/cvc5/libcvc5parser1_1.0.3-1_amd64.deb
Size: 306872
MD5sum: 540d80ea96da19739542f53ada93c5f1
SHA256: 6d7ad0208508fdc783aee1e5aeeb05ef368402d4647a3a485ba2a33d251b5504