[ACTION REQUIRED] Retiring packages for Fedora 18
Jonathan Underwood
jonathan.underwood at gmail.com
Mon Jul 9 02:43:35 UTC 2012
On 7 July 2012 10:34, Richard W.M. Jones <rjones at redhat.com> wrote:
> On Fri, Jul 06, 2012 at 04:55:19PM -0400, Bill Nottingham wrote:
>> Removing: emacs-common-proofgeneral
>> coq requires xemacs-proofgeneral = 3.7.1-5.fc15
>> coq requires emacs-proofgeneral = 3.7.1-5.fc15
>> coq-emacs requires emacs-proofgeneral = 3.7.1-5.fc15
>> coq-xemacs requires xemacs-proofgeneral = 3.7.1-5.fc15
>
> The dependency here is that the Coq emacs mode requires
> the proofgeneral emacs mode. I will drop the dependency
> and the coq-{,x}emacs subpackages (from Coq) unless someone
> takes the above package.
>
These should actually be renamed to (x)emacs-coq to comply with
packaging guidelines.
More information about the devel
mailing list