Content of RPM coq-coqide-8.9.1-4.fc31.x86_64.rpm :
/etc/xdg/coq
/usr/bin/coqide
/usr/bin/coqidetop
/usr/bin/coqidetop.opt
/usr/lib/.build-id
/usr/lib/.build-id/ed/6d6b32154384b0ea6ae275f42ff9329617e378
/usr/lib/.build-id/ed/6d6b32154384b0ea6ae275f42ff9329617e378.1
/usr/lib/.build-id/f0/109d19917103e1320761546dcc18419127539a
/usr/lib64/coq/ide
/usr/lib64/coq/ide/config_lexer.cmi
/usr/lib64/coq/ide/configwin.cmi
/usr/lib64/coq/ide/configwin_ihm.cmi
/usr/lib64/coq/ide/configwin_messages.cmi
/usr/lib64/coq/ide/coq.cmi
/usr/lib64/coq/ide/coqOps.cmi
/usr/lib64/coq/ide/coq_commands.cmi
/usr/lib64/coq/ide/coq_lex.cmi
/usr/lib64/coq/ide/coqide.cmi
/usr/lib64/coq/ide/coqide_ui.cmi
/usr/lib64/coq/ide/document.cmi
/usr/lib64/coq/ide/fileOps.cmi
/usr/lib64/coq/ide/gtk_parsing.cmi
/usr/lib64/coq/ide/ideutils.cmi
/usr/lib64/coq/ide/minilib.cmi
/usr/lib64/coq/ide/nanoPG.cmi
/usr/lib64/coq/ide/preferences.cmi
/usr/lib64/coq/ide/sentence.cmi
/usr/lib64/coq/ide/session.cmi
/usr/lib64/coq/ide/tags.cmi
/usr/lib64/coq/ide/utf8_convert.cmi
/usr/lib64/coq/ide/wg_Command.cmi
/usr/lib64/coq/ide/wg_Completion.cmi
/usr/lib64/coq/ide/wg_Detachable.cmi
/usr/lib64/coq/ide/wg_Find.cmi
/usr/lib64/coq/ide/wg_MessageView.cmi
/usr/lib64/coq/ide/wg_Notebook.cmi
/usr/lib64/coq/ide/wg_ProofView.cmi
/usr/lib64/coq/ide/wg_RoutedMessageViews.cmi
/usr/lib64/coq/ide/wg_ScriptView.cmi
/usr/lib64/coq/ide/wg_Segment.cmi
/usr/share/appdata/coqide.appdata.xml
/usr/share/applications/coqide.desktop
/usr/share/doc/coq-coqide
/usr/share/doc/coq-coqide/FAQ
/usr/share/icons/hicolor/16x16/apps/coq.png
/usr/share/icons/hicolor/256x256/apps/coq.png
/usr/share/icons/hicolor/32x32/apps/coq.png
/usr/share/icons/hicolor/512x512/apps/coq.png
/usr/share/man/man1/coqide.1.gz
/usr/share/mime/packages/coq.xml