How to Install and Uninstall libz3-ocaml-dev Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: December 23,2024

1. Install "libz3-ocaml-dev" package

This tutorial shows how to install libz3-ocaml-dev on Ubuntu 16.04 LTS (Xenial Xerus)

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

2. Uninstall "libz3-ocaml-dev" package

Please follow the step by step instructions below to uninstall libz3-ocaml-dev on Ubuntu 16.04 LTS (Xenial Xerus):

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

3. Information about the libz3-ocaml-dev package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: libz3-ocaml-dev
Priority: extra
Section: universe/libdevel
Installed-Size: 5705
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Architecture: amd64
Source: z3
Version: 4.4.0-5
Depends: libz3-dev (= 4.4.0-5), ocaml-nox-4.02.3, libc6 (>= 2.4)
Recommends: ocaml-findlib
Filename: pool/universe/z/z3/libz3-ocaml-dev_4.4.0-5_amd64.deb
Size: 454228
MD5sum: 082e389d9f2b6181065c5c9c2cf4b914
SHA1: 2f5c4123407fc1e47e60f6459976c0b65e0e3518
SHA256: ac1617afa50e089b497ef9d9e4bedaa3b590b65ea2c08f4d07ef1f6be2ddc31e
Description-en: theorem prover from Microsoft Research - OCaml bindings
Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
package for a detailed description.
.
This package can be used to invoke Z3 via its OCaml API.
Description-md5: e15b256ee8b99be39bcf2933abe6586c
Homepage: https://github.com/Z3Prover/z3
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu