File list of package libpsmt2-frontend-ocaml-dev in bianca of architecture amd64

/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/dune-package
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/main.ml
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/opam
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/options.ml
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/options.mli
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend.a
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend.cmi
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend.cmt
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend.cmx
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend.cmxa
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend.ml
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Main.cmi
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Main.cmt
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Main.cmx
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Options.cmi
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Options.cmt
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Options.cmti
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Options.cmx
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Version.cmi
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Version.cmt
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Version.cmti
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Version.cmx
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_error.ml
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_lexer.ml
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_parser.ml
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_parser.mli
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_printer.ml
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_syntax.ml
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_ty.ml
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_typed_env.ml
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_typed_logic.ml
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_typing.ml
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/version.ml
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/version.mli
/usr/share/doc/libpsmt2-frontend-ocaml-dev/README.md
/usr/share/doc/libpsmt2-frontend-ocaml-dev/changelog.Debian.amd64.gz
/usr/share/doc/libpsmt2-frontend-ocaml-dev/changelog.Debian.gz
/usr/share/doc/libpsmt2-frontend-ocaml-dev/changelog.gz
/usr/share/doc/libpsmt2-frontend-ocaml-dev/copyright
/var/lib/ocaml/lintian/libpsmt2-frontend-ocaml-dev.META.psmt2-frontend
/var/lib/ocaml/lintian/libpsmt2-frontend-ocaml-dev.info
/var/lib/ocaml/md5sums/libpsmt2-frontend-ocaml-dev.md5sums