How to Install and Uninstall libwhy3-ocaml-dev Package on Ubuntu 21.10 (Impish Indri)

Last updated: May 15,2024

1. Install "libwhy3-ocaml-dev" package

This guide covers the steps necessary to install libwhy3-ocaml-dev on Ubuntu 21.10 (Impish Indri)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libwhy3-ocaml-dev
            
                    
    
    Copied

2. Uninstall "libwhy3-ocaml-dev" package

Please follow the steps below to uninstall libwhy3-ocaml-dev on Ubuntu 21.10 (Impish Indri):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libwhy3-ocaml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libwhy3-ocaml-dev package on Ubuntu 21.10 (Impish Indri)

Package: libwhy3-ocaml-dev
Architecture: amd64
Version: 1.3.3-1build5
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: 44084
Provides: libwhy3-ocaml-dev-9njo6
Depends: tex-common (>= 6.13), libmenhir-ocaml-dev-gl1q4, libnum-ocaml-dev-80ki3, libzip-ocaml-dev-l8p50, ocaml-nox-4.11.1
Suggests: ocaml-findlib
Filename: pool/universe/w/why3/libwhy3-ocaml-dev_1.3.3-1build5_amd64.deb
Size: 9591268
MD5sum: ac2c3ebe0ce47f95563d77ebea318ea5
SHA1: 025b2766906cce1f11bb3bd3c1bc7d7a6bce19da
SHA256: cf76952922cf19973adaf8f8483e88e7d6677560cb80af6729441ba4bdd2120e
SHA512: 17d6455c42d706057b7476766968b468012bbcad2e24aec1e2f3fcee30d7cf143d120d74456889aa6fe72991940e731cb7975e37d46de4fff04eb9ff104068a9
Homepage: http://why3.lri.fr/
Description-en: OCaml librariries for why3 (dev)
This package contains the libraries of the why3 verification platform
for developing applications using why3.
Description-md5: 072a6256bf533fcf1d18fe6a382eb298