Description of problem: Package emacs-proofgeneral installs file /usr/share/emacs/site-lisp/site-start.d/pg-init.el which ist loaded when emacs is started. This file requires "proof-site" which loads /usr/share/emacs/site-lisp/proofgeneral/generic/proof-site.elc This file requires "proof-autoloads" which is not installed by package "emacs-proofgeneral". Package "emacs-proofgeneral-el" contains file "proof-autoloads.el", but package "emacs-proofgeneral" does not contain "proof-autoloads.elc". Version-Release number of selected component (if applicable): emacs-proofgeneral-4.1-1.fc18.noarch emacs-proofgeneral-el-4.1-1.fc18.noarch emacs-common-proofgeneral-4.1-1.fc18.noarch How reproducible: Always. Steps to Reproduce: 1. Install Package "emacs-proofgeneral", but not "emacs-proofgeneral-el". 2. Start emacs. Actual results: In emacs in the *Messages* buffer you see the messages: Loading /usr/share/emacs/site-lisp/site-start.d/pg-init.el (source)... byte-code: Cannot open load file: proof-autoloads Expected results: No error message. Additional info: I think the solution is to byte-compiled file /usr/share/emacs/site-lisp/proofgeneral/generic/proof-autoloads.el to /usr/share/emacs/site-lisp/proofgeneral/generic/proof-autoloads.elc Then this file should be contained in and installed by package "emacs-proofgeneral".
emacs-common-proofgeneral-4.2-1.fc19 has been submitted as an update for Fedora 19. https://admin.fedoraproject.org/updates/emacs-common-proofgeneral-4.2-1.fc19
Package emacs-common-proofgeneral-4.2-1.fc19: * should fix your issue, * was pushed to the Fedora 19 testing repository, * should be available at your local mirror within two days. Update it with: # su -c 'yum update --enablerepo=updates-testing emacs-common-proofgeneral-4.2-1.fc19' as soon as you are able to. Please go to the following url: https://admin.fedoraproject.org/updates/FEDORA-2013-15275/emacs-common-proofgeneral-4.2-1.fc19 then log in and leave karma (feedback).
emacs-common-proofgeneral-4.2-1.fc19 has been pushed to the Fedora 19 stable repository. If problems still persist, please make note of it in this bug report.