How to Install and Uninstall libcvc3-5-jni Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: November 07,2024

1. Install "libcvc3-5-jni" package

This guide covers the steps necessary to install libcvc3-5-jni on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc3-5-jni
            
                    
    
    Copied

2. Uninstall "libcvc3-5-jni" package

This guide covers the steps necessary to uninstall libcvc3-5-jni on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc3-5-jni
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcvc3-5-jni package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: libcvc3-5-jni
Architecture: amd64
Version: 2.4.1-5.1ubuntu1
Priority: extra
Section: universe/java
Source: cvc3
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Morgan Deters
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 241
Depends: libc6 (>= 2.14), libcvc3-5v5 (>= 2.4.1), libgcc1 (>= 1:3.0), libgmp10, libstdc++6 (>= 5.2)
Breaks: libcvc3-2-jni
Replaces: libcvc3-2-jni
Filename: pool/universe/c/cvc3/libcvc3-5-jni_2.4.1-5.1ubuntu1_amd64.deb
Size: 59510
MD5sum: 2022e90d9d4ef6edd4f395c3bd2f269a
SHA1: cb36e39235bafff51a41db017d5648a3926b69d5
SHA256: 705087a265a1eed9006d5e7730df11813ba79cd9e8ba1e72b480d5d0eac4daf7
Homepage: http://www.cs.nyu.edu/acsys/cvc3/
Description: Java bindings for CVC3 (native library)
Description-md5: 76e546f9ffc39c762d32c756bcc86178