How to Install and Uninstall libz3-ocaml-dev Package on Ubuntu 16.04 LTS (Xenial Xerus)
Last updated: November 07,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
Copied
$
sudo apt install
libz3-ocaml-dev
Copied
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
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
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
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