Content of RPM ocaml-psmt2-frontend-0.4.0-3.fc36.i686.rpm :
/usr/bin/psmt2-frontend_bin
/usr/lib/.build-id
/usr/lib/.build-id/2f
/usr/lib/.build-id/2f/7c9afb900014fcee5345b1fb5bc7860b574ef9
/usr/lib/.build-id/6e
/usr/lib/.build-id/6e/164875734c929abd5f918e704bc6fd2a2304c0
/usr/lib/ocaml/psmt2-frontend
/usr/lib/ocaml/psmt2-frontend/META
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cma
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmxs
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Main.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Options.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Version.cmi
/usr/lib/ocaml/psmt2-frontend_bin
/usr/lib/ocaml/psmt2-frontend_bin/META
/usr/lib/ocaml/psmt2-frontend_bin/dune-package
/usr/lib/ocaml/psmt2-frontend_bin/opam
/usr/share/doc/ocaml-psmt2-frontend
/usr/share/doc/ocaml-psmt2-frontend/CHANGES.md
/usr/share/doc/ocaml-psmt2-frontend/README.md
/usr/share/licenses/ocaml-psmt2-frontend
/usr/share/licenses/ocaml-psmt2-frontend/LICENSE