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

Last updated: September 28,2024

1. Install "libcvc3-5-java" package

Here is a brief guide to show you how to install libcvc3-5-java on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcvc3-5-java
            
                    
    
    Copied

2. Uninstall "libcvc3-5-java" package

This tutorial shows how to uninstall libcvc3-5-java on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcvc3-5-java
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcvc3-5-java
Architecture: all
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: 90
Depends: libcvc3-5-jni (>= 2.4.1-5.1ubuntu1)
Filename: pool/universe/c/cvc3/libcvc3-5-java_2.4.1-5.1ubuntu1_all.deb
Size: 72284
MD5sum: bafacd921a3bb7ffceb6e23123e0d121
SHA1: a35d58beae6e9d5d7f41559e0e128864b9e8f07d
SHA256: 70b6d379315b7bc4b6cbbb5c8a51b127c4762203ea1d66b4b5e0747064a76123
Homepage: http://www.cs.nyu.edu/acsys/cvc3/
Description: Java bindings for CVC3 (bytecode library)
Description-md5: 1fe640cf1c52cd3191bd141e9e2f6edf