Cheap VPS & Xen Server

Residential Proxy Network - Hourly & Monthly Packages

How to install libz3-ocaml-dev on Debian Unstable (Sid)

Install libz3-ocaml-dev

Installing libz3-ocaml-dev package on Debian Unstable (Sid) is as easy as running the following command on terminal:

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

libz3-ocaml-dev package information

distro Debian Unstable (Sid)
section Main
name libz3-ocaml-dev
version 4.4.0-5
description theorem prover from Microsoft Research – OCaml bindings
subsection libdevel
website / Z3Prover / z3
maintainer Michael Tautschnig

Uninstall libz3-ocaml-dev

To remove just libz3-ocaml-dev package itself from Debian Unstable (Sid) execute on terminal:

sudo apt-get remove libz3-ocaml-dev

Uninstall libz3-ocaml-dev and it’s dependent packages

To remove the libz3-ocaml-dev package and any other dependant package which are no longer needed from Debian Sid.

sudo apt-get remove --auto-remove libz3-ocaml-dev

Purging libz3-ocaml-dev

If you also want to delete configuration and/or data files of libz3-ocaml-dev from Debian Sid then this will work:

sudo apt-get purge libz3-ocaml-dev

To delete configuration and/or data files of libz3-ocaml-dev and it’s dependencies from Debian Sid then execute:

sudo apt-get purge --auto-remove libz3-ocaml-dev