Re: [ACTION REQUIRED] Retiring packages for Fedora 18

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Sat, Jul 7, 2012 at 3:34 AM, Richard W.M. Jones <rjones@xxxxxxxxxx> 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.
>
> Note that Coq itself doesn't build right now .. see the email
> I sent a few days ago to this list.

I will take proofgeneral Real Soon Now.  I'm in overload mode at
$DAYJOB at the moment, and will likely remain so for about 2 more
weeks.  My apologies to those who have been waiting for me to do
something.  If anybody needs to do something to one of the packages I
maintain at any time in the next couple of weeks, please just go
ahead.  I hope to return to my normal Fedora activity levels around
the end of July.
-- 
Jerry James
http://www.jamezone.org/
-- 
devel mailing list
devel@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/devel



[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Index of Archives]     [Fedora Announce]     [Fedora Kernel]     [Fedora Testing]     [Fedora Formulas]     [Fedora PHP Devel]     [Kernel Development]     [Fedora Legacy]     [Fedora Maintainers]     [Fedora Desktop]     [PAM]     [Red Hat Development]     [Gimp]     [Yosemite News]
  Powered by Linux