Description of problem: When I try to load a .v file, I get: File mode specification error: (error "Proof General was compiled for GNU Emacs 22.3 but running on GNU Emacs 23.1: please run \"make clean; make\"") Version-Release number of selected component (if applicable): emacs-proofgeneral-3.7.1-4.fc11.noarch
(In reply to comment #0) > Description of problem: > When I try to load a .v file, I get: > File mode specification error: (error "Proof General was compiled for GNU Emacs > 22.3 but running on GNU Emacs 23.1: please run \"make clean; make\"") > > Version-Release number of selected component (if applicable): > emacs-proofgeneral-3.7.1-4.fc11.noarch You are right - this needs a rebuild for F11 (only). I'm about to submit an update that fixes this.
emacs-common-proofgeneral-3.7.1-4.fc11.1 has been submitted as an update for Fedora 11. http://admin.fedoraproject.org/updates/emacs-common-proofgeneral-3.7.1-4.fc11.1
emacs-common-proofgeneral-3.7.1-4.fc11.1 has been pushed to the Fedora 11 stable repository. If problems still persist, please make note of it in this bug report.
The same problem has occurred again, but for Fedora 14. This time, it says (error "Proof General was compiled for GNU Emacs 23.1 but running on GNU Emacs 23.2: please run \"make clean; make\"")
It happens again in Fedora 16 (compiled for 23.2 but running on 23.3). Is there some way to automatically rebuild ProofGeneral every time Emacs is updated?
This message is a notice that Fedora 14 is now at end of life. Fedora has stopped maintaining and issuing updates for Fedora 14. It is Fedora's policy to close all bug reports from releases that are no longer maintained. At this time, all open bugs with a Fedora 'version' of '14' have been closed as WONTFIX. (Please note: Our normal process is to give advanced warning of this occurring, but we forgot to do that. A thousand apologies.) Package Maintainer: If you wish for this bug to remain open because you plan to fix it in a currently maintained version, feel free to reopen this bug and simply change the 'version' to a later Fedora version. Bug Reporter: Thank you for reporting this issue and we are sorry that we were unable to fix it before Fedora 14 reached end of life. If you would still like to see this bug fixed and are able to reproduce it against a later version of Fedora, you are encouraged to click on "Clone This Bug" (top right of this page) and open it against that version of Fedora. Although we aim to fix as many bugs as possible during every release's lifetime, sometimes those efforts are overtaken by events. Often a more recent Fedora release includes newer upstream software that fixes bugs or makes them obsolete. The process we are following is described here: http://fedoraproject.org/wiki/BugZappers/HouseKeeping