This page shows all known information about package libz3-ocaml-dev.

libz3-ocaml-dev - theorem prover from Microsoft Research - OCaml bindings

From source: z3

debian/control
Section
Architecture
Distribution

Copyright © 2011-2013 Enrico Zini <enrico@debian.org>. See license terms. Source code is available.

Debtags is part of Debian.