libz3-ocaml-dev 4.4.1-0.3build4 in ubuntu - bionic / universe

About

This package is 479.2 KB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/z/z3/libz3-ocaml-dev_4.4.1-0.3build4_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
preinst	text/x-shellscript	N/A	N/A	369 bytes
/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	281.9 KB
/usr/lib/ocaml/z3/libz3ml.a	application/x-archive	root:root	0o644	374.0 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	82.3 KB
/usr/lib/ocaml/z3/z3.cmx	application/octet-stream	root:root	0o644	40.0 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.7 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	16.0 KB
/usr/lib/ocaml/z3/z3.ml	text/x-ruby	root:root	0o644	145.7 KB
/usr/lib/ocaml/z3/z3ml.a	application/x-archive	root:root	0o644	1.4 MB
/usr/lib/ocaml/z3/z3ml.cma	application/octet-stream	root:root	0o644	295.2 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	125.8 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	78.2 KB
/usr/lib/ocaml/z3/z3native.cmx	application/octet-stream	root:root	0o644	27.4 KB
/usr/lib/ocaml/z3/z3native.ml	text/plain	root:root	0o644	230.9 KB
/usr/lib/ocaml/z3/z3native.mli	text/plain	root:root	0o644	39.6 KB
/usr/lib/ocaml/z3/z3native.o	application/x-object	root:root	0o644	827.9 KB
/usr/lib/ocaml/z3/z3native_stubs.o	application/x-object	root:root	0o644	1.4 MB
/usr/lib/ocaml/z3/z3.o	application/x-object	root:root	0o644	583.3 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	510 bytes
/var/lib/ocaml/md5sums/		root:root	0o755
/var/lib/ocaml/md5sums/libz3-ocaml-dev.md5sums	text/plain	root:root	0o644	478 bytes