Content of RPM coq-coqide-8.3pl2-2.fc16.i686.rpm :
/usr/bin/coqide
/usr/bin/coqide.byte
/usr/bin/coqide.opt
/usr/lib/coq/ide
/usr/lib/coq/ide/.coqide-gtk2rc
/usr/lib/coq/ide/FAQ
/usr/lib/coq/ide/command_windows.cmi
/usr/lib/coq/ide/config_lexer.cmi
/usr/lib/coq/ide/config_parser.cmi
/usr/lib/coq/ide/coq.cmi
/usr/lib/coq/ide/coq.png
/usr/lib/coq/ide/coq_commands.cmi
/usr/lib/coq/ide/coq_lex.cmi
/usr/lib/coq/ide/coq_tactics.cmi
/usr/lib/coq/ide/coqide.cmi
/usr/lib/coq/ide/gtk_parsing.cmi
/usr/lib/coq/ide/ide.cma
/usr/lib/coq/ide/ideutils.cmi
/usr/lib/coq/ide/preferences.cmi
/usr/lib/coq/ide/tags.cmi
/usr/lib/coq/ide/typed_notebook.cmi
/usr/lib/coq/ide/undo.cmi
/usr/lib/coq/ide/utf8_convert.cmi
/usr/lib/coq/ide/utils
/usr/lib/coq/ide/utils/config_file.cmi
/usr/lib/coq/ide/utils/configwin.cmi
/usr/lib/coq/ide/utils/configwin_ihm.cmi
/usr/lib/coq/ide/utils/configwin_keys.cmi
/usr/lib/coq/ide/utils/configwin_messages.cmi
/usr/lib/coq/ide/utils/configwin_types.cmi
/usr/lib/coq/ide/utils/editable_cells.cmi
/usr/lib/coq/ide/utils/okey.cmi
/usr/share/applications/fedora-coqide.desktop
/usr/share/doc/coq-coqide-8.3pl2
/usr/share/doc/coq-coqide-8.3pl2/INSTALL.ide
/usr/share/mime/packages/coq.xml