Content of RPM emacs-common-proofgeneral-4.4-12.20200506gitea62543.fc33.noarch.rpm :
/usr/bin/coqtags
/usr/bin/isartags
/usr/bin/legotags
/usr/bin/proofgeneral
/usr/share/appdata/proofgeneral.appdata.xml
/usr/share/application-registry/proofgeneral.applications
/usr/share/applications/proofgeneral.desktop
/usr/share/doc/proofgeneral
/usr/share/doc/proofgeneral/AUTHORS
/usr/share/doc/proofgeneral/BUGS
/usr/share/doc/proofgeneral/CHANGES
/usr/share/doc/proofgeneral/COMPATIBILITY
/usr/share/doc/proofgeneral/PG-adapting.pdf
/usr/share/doc/proofgeneral/ProofGeneral.pdf
/usr/share/doc/proofgeneral/REGISTER
/usr/share/doc/proofgeneral/acl2
/usr/share/doc/proofgeneral/acl2/example.acl2
/usr/share/doc/proofgeneral/acl2/root2.acl2
/usr/share/doc/proofgeneral/hol98
/usr/share/doc/proofgeneral/hol98/example.sml
/usr/share/doc/proofgeneral/hol98/root2.sml
/usr/share/doc/proofgeneral/isar
/usr/share/doc/proofgeneral/isar/Example-Tokens.thy
/usr/share/doc/proofgeneral/isar/Example.thy
/usr/share/doc/proofgeneral/lego
/usr/share/doc/proofgeneral/lego/example.l
/usr/share/doc/proofgeneral/lego/example2.l
/usr/share/doc/proofgeneral/lego/root2.l
/usr/share/doc/proofgeneral/pgshell
/usr/share/doc/proofgeneral/pgshell/example.pgsh
/usr/share/doc/proofgeneral/phox
/usr/share/doc/proofgeneral/phox/sqrt2.phx
/usr/share/doc/proofgeneral/twelf
/usr/share/doc/proofgeneral/twelf/example.elf
/usr/share/icons/hicolor/128x128/apps/proofgeneral.png
/usr/share/icons/hicolor/16x16/apps/proofgeneral.png
/usr/share/icons/hicolor/256x256/apps/proofgeneral.png
/usr/share/icons/hicolor/32x32/apps/proofgeneral.png
/usr/share/icons/hicolor/48x48/apps/proofgeneral.png
/usr/share/icons/hicolor/64x64/apps/proofgeneral.png
/usr/share/icons/hicolor/96x96/apps/proofgeneral.png
/usr/share/info/PG-adapting.info.gz
/usr/share/info/ProofGeneral.info.gz
/usr/share/licenses/emacs-common-proofgeneral
/usr/share/licenses/emacs-common-proofgeneral/COPYING
/usr/share/man/man1/proofgeneral.1.gz
/usr/share/mime-info/proofgeneral.keys
/usr/share/mime-info/proofgeneral.mime