How to Install and Uninstall libcvc5-dev Package on Debian 12 (Bookworm)

Last updated: May 18,2024

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

MX Linux 23
SparkyLinux

1. Install "libcvc5-dev" package

This tutorial shows how to install libcvc5-dev on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc5-dev
            
                    
    
    Copied

2. Uninstall "libcvc5-dev" package

In this section, we are going to explain the necessary steps to uninstall libcvc5-dev on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc5-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcvc5-dev package on Debian 12 (Bookworm)

Package: libcvc5-dev
Source: cvc5
Version: 1.0.3-1
Installed-Size: 416
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libcvc5-1 (= 1.0.3-1), libcvc5parser1 (= 1.0.3-1), libgmp-dev
Description: automated theorem prover for SMT problems (development files)
Description-md5: 0b8dea11ab5594daed4bb6d77d3985a6
Homepage: https://cvc5.github.io/
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/c/cvc5/libcvc5-dev_1.0.3-1_amd64.deb
Size: 58584
MD5sum: 25f601b064a9de84dd500a0261498bbf
SHA256: 4fe154341f1e0f7627360e0a13ae594d29a03fe7eb51e0f30f1cb0cee3021149