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
Copied
$
sudo apt install
libwhy3-ocaml-dev
Copied
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
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
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
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