libz3-ocaml-dev 4.4.0-5 in ubuntu - xenial / universe

About

This package is 443.6 KB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/z/z3/libz3-ocaml-dev_4.4.0-5_amd64.deb .

View its full control file here: debian/control.

Description

theorem prover from Microsoft Research - OCaml bindings

Relations

Package Contents

File	Mime Type	Owner	Mode	Size
/usr/		root:root	0o755
/usr/lib/		root:root	0o755
/usr/lib/ocaml/		root:root	0o755
/usr/lib/ocaml/z3/		root:root	0o755
/usr/lib/ocaml/z3/dllz3ml.so	application/x-sharedlib	root:root	0o644	287.1 KB
/usr/lib/ocaml/z3/libz3ml.a	application/x-archive	root:root	0o644	373.3 KB
/usr/lib/ocaml/z3/META	text/plain	root:root	0o644	343 bytes
/usr/lib/ocaml/z3/z3.cma	application/octet-stream	root:root	0o644	42 bytes
/usr/lib/ocaml/z3/z3.cmi	application/octet-stream	root:root	0o644	83.2 KB
/usr/lib/ocaml/z3/z3.cmx	application/octet-stream	root:root	0o644	35.8 KB
/usr/lib/ocaml/z3/z3enums.cma	application/octet-stream	root:root	0o644	42 bytes
/usr/lib/ocaml/z3/z3enums.cmi	application/octet-stream	root:root	0o644	8.4 KB
/usr/lib/ocaml/z3/z3enums.cmx	application/octet-stream	root:root	0o644	1.2 KB
/usr/lib/ocaml/z3/z3enums.ml	text/plain	root:root	0o644	19.1 KB
/usr/lib/ocaml/z3/z3enums.mli	text/plain	root:root	0o644	6.4 KB
/usr/lib/ocaml/z3/z3enums.o	application/x-object	root:root	0o644	31.2 KB
/usr/lib/ocaml/z3/z3.ml	text/x-ruby	root:root	0o644	142.8 KB
/usr/lib/ocaml/z3/z3ml.a	application/x-archive	root:root	0o644	1.2 MB
/usr/lib/ocaml/z3/z3ml.cma	application/octet-stream	root:root	0o644	291.9 KB
/usr/lib/ocaml/z3/z3ml.cmxa	application/octet-stream	root:root	0o644	1.2 KB
/usr/lib/ocaml/z3/z3.mli	text/x-ruby	root:root	0o644	123.6 KB
/usr/lib/ocaml/z3/z3native.cma	application/octet-stream	root:root	0o644	42 bytes
/usr/lib/ocaml/z3/z3native.cmi	application/octet-stream	root:root	0o644	81.2 KB
/usr/lib/ocaml/z3/z3native.cmx	application/octet-stream	root:root	0o644	27.2 KB
/usr/lib/ocaml/z3/z3native.ml	text/plain	root:root	0o644	230.5 KB
/usr/lib/ocaml/z3/z3native.mli	text/plain	root:root	0o644	39.5 KB
/usr/lib/ocaml/z3/z3native.o	application/x-object	root:root	0o644	680.3 KB
/usr/lib/ocaml/z3/z3native_stubs.o	application/x-object	root:root	0o644	1.5 MB
/usr/lib/ocaml/z3/z3.o	application/x-object	root:root	0o644	476.1 KB
/usr/share/		root:root	0o755
/usr/share/doc/		root:root	0o755
/usr/share/doc/libz3-ocaml-dev		root:root	0o777
/var/		root:root	0o755
/var/lib/		root:root	0o755
/var/lib/ocaml/		root:root	0o755
/var/lib/ocaml/lintian/		root:root	0o755
/var/lib/ocaml/lintian/libz3-ocaml-dev.info	text/plain	root:root	0o644	502 bytes
/var/lib/ocaml/md5sums/		root:root	0o755
/var/lib/ocaml/md5sums/libz3-ocaml-dev.md5sums	text/plain	root:root	0o644	430 bytes