Content of RPM ocaml-alt-ergo-lib-2.3.3-6.fc38.x86_64.rpm :
/usr/lib/.build-id
/usr/lib/.build-id/72
/usr/lib/.build-id/72/f8667002eeed53097f04b7bc328ecb263a5e77
/usr/lib64/ocaml/alt-ergo-lib
/usr/lib64/ocaml/alt-ergo-lib-free
/usr/lib64/ocaml/alt-ergo-lib-free/META
/usr/lib64/ocaml/alt-ergo-lib-free/dune-package
/usr/lib64/ocaml/alt-ergo-lib-free/opam
/usr/lib64/ocaml/alt-ergo-lib/AltErgoLib.cma
/usr/lib64/ocaml/alt-ergo-lib/AltErgoLib.cmxs
/usr/lib64/ocaml/alt-ergo-lib/META
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ac.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt_rel.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arith.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays_rel.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv_rel.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ccx.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Cnf.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Commands.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Config.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Emap.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum_rel.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Errors.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Explanation.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Expr.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Fpa_rounding.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Frontend.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Fun_sat.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Gc_debug.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Hconsing.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Hstring.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Iheap.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Inequalities.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Input.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Instances.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__IntervalCalculus.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Intervals.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ite.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ite_rel.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Lists.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Loc.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Matching.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Matching_types.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__MyDynlink.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__MyUnix.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Numbers.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__NumbersInterface.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__NumsNumbers.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Options.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Parsed.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Parsed_interface.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Polynome.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Profiling.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Records.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Records_rel.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Relation.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sat_solver.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_types.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Shostak.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sig.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sig_rel.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Symbols.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Th_util.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Theory.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Timers.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ty.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Typechecker.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Typed.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Uf.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Use.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Util.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Var.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Vec.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Version.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Xliteral.cmi
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__ZarithNumbers.cmi
/usr/share/licenses/ocaml-alt-ergo-lib
/usr/share/licenses/ocaml-alt-ergo-lib/LGPL-License.txt
/usr/share/licenses/ocaml-alt-ergo-lib/LICENSE.md
/usr/share/licenses/ocaml-alt-ergo-lib/License.OCamlPro