How to Install and Uninstall libwhy3-ocaml-dev Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: December 29,2024

1. Install "libwhy3-ocaml-dev" package

Learn how to install libwhy3-ocaml-dev on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libwhy3-ocaml-dev
            
                    
    
    Copied

2. Uninstall "libwhy3-ocaml-dev" package

Please follow the guidelines below to uninstall libwhy3-ocaml-dev on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libwhy3-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libwhy3-ocaml-dev package on Ubuntu 24.04 LTS (Noble Numbat)

Package: libwhy3-ocaml-dev
Architecture: amd64
Version: 1.6.0-1build4
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: 49670
Provides: libwhy3-ocaml-dev-9gwa8
Depends: tex-common (>= 6.13), libmenhir-ocaml-dev-jko84, libnum-ocaml-dev-gltn3, libstdlib-ocaml-dev-ep7y0, libzip-ocaml-dev-fk4o9, ocaml-4.14.1
Suggests: ocaml-findlib
Filename: pool/universe/w/why3/libwhy3-ocaml-dev_1.6.0-1build4_amd64.deb
Size: 13156052
MD5sum: 7ff6d4669fc02557eef6a8b57589695e
SHA1: c1e099c66d481c69c8819df95f42e758fb8667c8
SHA256: b3df5055bfa057136187a6a199e55f55659090c81290629a91f524f4f9ec68eb
SHA512: 41c748689878d2ffa7ec836fe8bc2342bd2ce4bdc0a54d445b1d65e05a8a46ff09de8152d72e3bb633d6282930e760c1b94b37612436621f2c544121c9588c94
Homepage: http://why3.lri.fr/
Description: OCaml librariries for why3 (dev)
Description-md5: 072a6256bf533fcf1d18fe6a382eb298