How to Install and Uninstall libcvc5parser1 Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: December 24,2024

1. Install "libcvc5parser1" package

Here is a brief guide to show you how to install libcvc5parser1 on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc5parser1
            
                    
    
    Copied

2. Uninstall "libcvc5parser1" package

This tutorial shows how to uninstall libcvc5parser1 on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc5parser1
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcvc5parser1 package on Ubuntu 23.10 (Mantic Minotaur)

Package: libcvc5parser1
Architecture: amd64
Version: 1.0.5-3
Multi-Arch: same
Priority: optional
Section: universe/libs
Source: cvc5
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1685
Depends: libantlr3c-3.4-0 | libantlr3c-antlrdbg-3.4-0, libc6 (>= 2.32), libcvc5-1 (>= 1.0.5), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 11)
Filename: pool/universe/c/cvc5/libcvc5parser1_1.0.5-3_amd64.deb
Size: 352602
MD5sum: a55fc3cb68d6ad2f735691ac10c0d821
SHA1: 4a5ee79826f9cd1e9aa3fd516cfe6acec7658206
SHA256: a9202405919a73840274e4bdc8529efbc729a2bcf0365d2bdc62314cf93768b5
SHA512: 53019f2d60065195b9becd75423cb1d2e645ef253f1f921ccd7f67b617f8715dc36e1f806788f07bacdb58d2ee961cb98fa2ef59aafbaa59b3cac570b195ab10
Homepage: https://cvc5.github.io/
Description: automated theorem prover for SMT problems (parser runtime)
Description-md5: c3a5bb5e9e41edcc86d8956a94b4711a