Description of problem:
Upstream has just released a new version of E, version 1.0 (Temi), at http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html
Currently Fedora has the previous version packaged.
One challenge: Some other programs may depend on the older version of E. Wheeler is currently checking with the developers of haRVey, who are about to release a major new version, to see if they can use this new E, or if they need a small delay in the update.
If you know of a reason that E should (or should not) be updated to 1.0, please attach that information to this bug report.
NOTE: I'm the packager of E on Fedora. I'm recording this bug on myself so that people who wonder "why hasn't E been updated to the latest and greatest" can find out, using the normal bug-tracking system.
This message is a reminder that Fedora 9 is nearing its end of life.
Approximately 30 (thirty) days from now Fedora will stop maintaining
and issuing updates for Fedora 9. It is Fedora's policy to close all
bug reports from releases that are no longer maintained. At that time
this bug will be closed as WONTFIX if it remains open with a Fedora
'version' of '9'.
Package Maintainer: If you wish for this bug to remain open because you
plan to fix it in a currently maintained version, simply change the 'version'
to a later Fedora version prior to Fedora 9's end of life.
Bug Reporter: Thank you for reporting this issue and we are sorry that
we may not be able to fix it before Fedora 9 is 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 please change the 'version' of this
bug to the applicable version. If you are unable to change the version,
please add a comment here and someone will do it for you.
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:
Fedora 9 changed to end-of-life (EOL) status on 2009-07-10. Fedora 9 is
no longer maintained, which means that it will not receive any further
security or bug fix updates. As a result we are closing this bug.
If you can reproduce this bug against a currently maintained version of
Fedora please feel free to reopen this bug against that version.
Thank you for reporting this bug and we are sorry it could not be fixed.