Content of RPM ocaml-psmt2-frontend-docs-0.4.0-3.fc36.x86_64.rpm :
/usr/share/doc/ocaml-psmt2-frontend
/usr/share/doc/ocaml-psmt2-frontend/_html
/usr/share/doc/ocaml-psmt2-frontend/_html/highlight.pack.js
/usr/share/doc/ocaml-psmt2-frontend/_html/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/odoc.css
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Main
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Main/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Options
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Options/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_error
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_error/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_lexer
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_lexer/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_parser
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_parser/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_printer
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_printer/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_syntax
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_syntax/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_ty
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_ty/IMap
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_ty/IMap/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_ty/SMap
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_ty/SMap/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_ty/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_typed_env
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_typed_env/SMap
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_typed_env/SMap/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_typed_env/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_typed_logic
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_typed_logic/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_typing
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_typing/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Version
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Version/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Main
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Main/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Options
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Options/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_error
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_error/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_lexer
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_lexer/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_parser
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_parser/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_printer
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_printer/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_syntax
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_syntax/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_ty
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_ty/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_typed_env
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_typed_env/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_typed_logic
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_typed_logic/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_typing
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_typing/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Version
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Version/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend_bin
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend_bin/index.html
/usr/share/doc/ocaml-psmt2-frontend/sphinx
/usr/share/doc/ocaml-psmt2-frontend/sphinx/.buildinfo
/usr/share/doc/ocaml-psmt2-frontend/sphinx/.doctrees
/usr/share/doc/ocaml-psmt2-frontend/sphinx/.doctrees/about.doctree
/usr/share/doc/ocaml-psmt2-frontend/sphinx/.doctrees/environment.pickle
/usr/share/doc/ocaml-psmt2-frontend/sphinx/.doctrees/index.doctree
/usr/share/doc/ocaml-psmt2-frontend/sphinx/.doctrees/install.doctree
/usr/share/doc/ocaml-psmt2-frontend/sphinx/.doctrees/license.doctree
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_sources
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_sources/about.rst.txt
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_sources/index.rst.txt
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_sources/install.rst.txt
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_sources/license.rst.txt
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/basic.css
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/css
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/css/badge_only.css
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/css/fixes.css
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/css/theme.css
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/doctools.js
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/documentation_options.js
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/file.png
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/jquery-3.5.1.js
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/jquery.js
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/js
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/js/badge_only.js
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/js/theme.js
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/language_data.js
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/minus.png
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/plus.png
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/pygments.css
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/searchtools.js
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/underscore-1.13.1.js
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/underscore.js
/usr/share/doc/ocaml-psmt2-frontend/sphinx/about.html
/usr/share/doc/ocaml-psmt2-frontend/sphinx/genindex.html
/usr/share/doc/ocaml-psmt2-frontend/sphinx/index.html
/usr/share/doc/ocaml-psmt2-frontend/sphinx/install.html
/usr/share/doc/ocaml-psmt2-frontend/sphinx/license.html
/usr/share/doc/ocaml-psmt2-frontend/sphinx/objects.inv
/usr/share/doc/ocaml-psmt2-frontend/sphinx/search.html
/usr/share/doc/ocaml-psmt2-frontend/sphinx/searchindex.js