How to Install and Uninstall libwhy3-ocaml-dev Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: May 16,2024

1. Install "libwhy3-ocaml-dev" package

This guide covers the steps necessary to install libwhy3-ocaml-dev on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libwhy3-ocaml-dev
            
                    
    
    Copied

2. Uninstall "libwhy3-ocaml-dev" package

This guide let you learn how to uninstall libwhy3-ocaml-dev on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libwhy3-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libwhy3-ocaml-dev package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: libwhy3-ocaml-dev
Architecture: amd64
Version: 0.88.3-1ubuntu4
Priority: optional
Section: universe/ocaml
Source: why3
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 13366
Provides: libwhy3-ocaml-dev-d40s2
Depends: tex-common (>= 6), libmenhir-ocaml-dev-47ms3, libzarith-ocaml-dev-gqf85, libzip-ocaml-dev-5t4j6, ocaml-nox-4.05.0
Filename: pool/universe/w/why3/libwhy3-ocaml-dev_0.88.3-1ubuntu4_amd64.deb
Size: 1854212
MD5sum: d695bc0174937469c32e46218eede1b4
SHA1: d9a7bce8d345dab8d9684cdda458ddb68f6fbffa
SHA256: 542a5d2f86e945d59cd7c9440ef6353cc75c72811dd5bd11e8d4c9574afd9bed
Homepage: http://why3.lri.fr/
Description: OCaml librariries for why3 (dev)
Description-md5: 072a6256bf533fcf1d18fe6a382eb298