How to Install and Uninstall libwhy3-ocaml-dev Package on Ubuntu 20.04 LTS (Focal Fossa)

Last updated: May 15,2024

1. Install "libwhy3-ocaml-dev" package

In this section, we are going to explain the necessary steps to install libwhy3-ocaml-dev on Ubuntu 20.04 LTS (Focal Fossa)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libwhy3-ocaml-dev
            
                    
    
    Copied

2. Uninstall "libwhy3-ocaml-dev" package

This is a short guide on how to uninstall libwhy3-ocaml-dev on Ubuntu 20.04 LTS (Focal Fossa):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libwhy3-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libwhy3-ocaml-dev package on Ubuntu 20.04 LTS (Focal Fossa)

Package: libwhy3-ocaml-dev
Architecture: amd64
Version: 1.2.1-6
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: 39761
Provides: libwhy3-ocaml-dev-75jb5
Depends: tex-common (>= 6.13), libmenhir-ocaml-dev-5r792, libnum-ocaml-dev-f5qg6, libzarith-ocaml-dev-gs683, libzip-ocaml-dev-x6zq1, ocaml-nox-4.08.1
Suggests: ocaml-findlib
Filename: pool/universe/w/why3/libwhy3-ocaml-dev_1.2.1-6_amd64.deb
Size: 7937692
MD5sum: a9ca5469ffb8aaec7b1a9ff03bfdf328
SHA1: 6be16ef178d1322571e65418386fa0beff60928f
SHA256: a6bdd6085124b95e1ce044a98f2158447f8edfc2a5cb070a0a5cd48bbc1025af
Homepage: http://why3.lri.fr/
Description: OCaml librariries for why3 (dev)
Description-md5: 072a6256bf533fcf1d18fe6a382eb298