[ACTION REQUIRED v2] Retiring packages for Fedora 18

[Jerry James]

On Tue, Jul 17, 2012 at 11:51 AM, Bill Nottingham <notting at redhat.com> wrote:
> Package emacs-common-proofgeneral (fails to build)

Since coq (which I maintain) needs this, I updated it to the latest
upstream version and rebuilt.  Upstream has dropped support for XEmacs
in the latest releases, which means I'll have to drop XEmacs support
from coq, too.  That's kind of a bummer for me, since I'm an XEmacs
developer.
-- 
Jerry James
http://www.jamezone.org/