Content of RPM coq-coqide-server-8.12.2-1.fc33.x86_64.rpm :
/usr/bin/coqidetop.byte
/usr/bin/coqidetop.opt
/usr/bin/fake_ide
/usr/lib/.build-id
/usr/lib/.build-id/32
/usr/lib/.build-id/32/a8b27e87ea45237cc87dcb70c01f1acf19de66
/usr/lib/.build-id/88/4f52dcf9eaaab51908b4247960128a220af790
/usr/lib/.build-id/ad/9764e2f80e2adae22ed561c9461b536fe11f3a
/usr/lib/.build-id/eb/5f9a2b1020edf25d7fa2372a9861441a2d5ece
/usr/lib64/ocaml/coqide-server
/usr/lib64/ocaml/coqide-server/META
/usr/lib64/ocaml/coqide-server/core
/usr/lib64/ocaml/coqide-server/core/core.a
/usr/lib64/ocaml/coqide-server/core/core.cma
/usr/lib64/ocaml/coqide-server/core/core.cmxa
/usr/lib64/ocaml/coqide-server/core/core.cmxs
/usr/lib64/ocaml/coqide-server/core/document.cmi
/usr/lib64/ocaml/coqide-server/core/document.cmt
/usr/lib64/ocaml/coqide-server/core/document.cmti
/usr/lib64/ocaml/coqide-server/core/document.cmx
/usr/lib64/ocaml/coqide-server/core/document.ml
/usr/lib64/ocaml/coqide-server/core/document.mli
/usr/lib64/ocaml/coqide-server/dune-package
/usr/lib64/ocaml/coqide-server/opam
/usr/lib64/ocaml/coqide-server/protocol
/usr/lib64/ocaml/coqide-server/protocol/interface.cmi
/usr/lib64/ocaml/coqide-server/protocol/interface.cmt
/usr/lib64/ocaml/coqide-server/protocol/interface.cmx
/usr/lib64/ocaml/coqide-server/protocol/interface.ml
/usr/lib64/ocaml/coqide-server/protocol/protocol.a
/usr/lib64/ocaml/coqide-server/protocol/protocol.cma
/usr/lib64/ocaml/coqide-server/protocol/protocol.cmxa
/usr/lib64/ocaml/coqide-server/protocol/protocol.cmxs
/usr/lib64/ocaml/coqide-server/protocol/richpp.cmi
/usr/lib64/ocaml/coqide-server/protocol/richpp.cmt
/usr/lib64/ocaml/coqide-server/protocol/richpp.cmti
/usr/lib64/ocaml/coqide-server/protocol/richpp.cmx
/usr/lib64/ocaml/coqide-server/protocol/richpp.ml
/usr/lib64/ocaml/coqide-server/protocol/richpp.mli
/usr/lib64/ocaml/coqide-server/protocol/serialize.cmi
/usr/lib64/ocaml/coqide-server/protocol/serialize.cmt
/usr/lib64/ocaml/coqide-server/protocol/serialize.cmti
/usr/lib64/ocaml/coqide-server/protocol/serialize.cmx
/usr/lib64/ocaml/coqide-server/protocol/serialize.ml
/usr/lib64/ocaml/coqide-server/protocol/serialize.mli
/usr/lib64/ocaml/coqide-server/protocol/xml_lexer.cmi
/usr/lib64/ocaml/coqide-server/protocol/xml_lexer.cmt
/usr/lib64/ocaml/coqide-server/protocol/xml_lexer.cmti
/usr/lib64/ocaml/coqide-server/protocol/xml_lexer.cmx
/usr/lib64/ocaml/coqide-server/protocol/xml_lexer.ml
/usr/lib64/ocaml/coqide-server/protocol/xml_lexer.mli
/usr/lib64/ocaml/coqide-server/protocol/xml_parser.cmi
/usr/lib64/ocaml/coqide-server/protocol/xml_parser.cmt
/usr/lib64/ocaml/coqide-server/protocol/xml_parser.cmti
/usr/lib64/ocaml/coqide-server/protocol/xml_parser.cmx
/usr/lib64/ocaml/coqide-server/protocol/xml_parser.ml
/usr/lib64/ocaml/coqide-server/protocol/xml_parser.mli
/usr/lib64/ocaml/coqide-server/protocol/xml_printer.cmi
/usr/lib64/ocaml/coqide-server/protocol/xml_printer.cmt
/usr/lib64/ocaml/coqide-server/protocol/xml_printer.cmti
/usr/lib64/ocaml/coqide-server/protocol/xml_printer.cmx
/usr/lib64/ocaml/coqide-server/protocol/xml_printer.ml
/usr/lib64/ocaml/coqide-server/protocol/xml_printer.mli
/usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.cmi
/usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.cmt
/usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.cmti
/usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.cmx
/usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.ml
/usr/lib64/ocaml/coqide-server/protocol/xmlprotocol.mli