How to Install and Uninstall libwhy3-ocaml-dev Package on Linux Mint 20.3 (Una)

Last updated: November 26,2024

1. Install "libwhy3-ocaml-dev" package

Learn how to install libwhy3-ocaml-dev on Linux Mint 20.3 (Una)

$ sudo apt update $ sudo apt install libwhy3-ocaml-dev

2. Uninstall "libwhy3-ocaml-dev" package

Please follow the guidance below to uninstall libwhy3-ocaml-dev on Linux Mint 20.3 (Una):

$ sudo apt remove libwhy3-ocaml-dev $ sudo apt autoclean && sudo apt autoremove

3. Information about the libwhy3-ocaml-dev package on Linux Mint 20.3 (Una)

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