Looking for the Coq package maintainers

Richard W.M. Jones rjones at redhat.com
Fri Oct 26 19:30:54 UTC 2012

On Fri, Oct 26, 2012 at 08:43:54AM -0600, Jerry James wrote:
> On Fri, Oct 26, 2012 at 8:18 AM, Benjamin Kreuter <ben.kreuter at gmail.com> wrote:
> > I have tried to contact the coq and emacs-common-proofgeneral package
> > maintainers directly, but have not had much luck.  If any of those
> > maintainers can shoot me an email, that would be great.
> Sorry.  I have been (and still am) sick.  I hate cold and flu season.
> I'm trying to get stuff done anyway, both $DAYJOB and Fedora-related,
> but I'm moving more slowly than usual.  Please be patient with me.

Me too ... flu sucks.

> If this is about adding coq to EPEL, the big question I need answered
> is which of the BuildRequires are not already available there.  If you
> could do that legwork for me, it will speed up the process.
> I hope to be back to normal Real Soon Now.

I sort of got the impression that Benjamin was looking for the
*upstream* maintainers ...?


Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
New in Fedora 11: Fedora Windows cross-compiler. Compile Windows
programs, test, and build Windows installers. Over 70 libraries supprt'd
http://fedoraproject.org/wiki/MinGW http://www.annexia.org/fedora_mingw

More information about the devel mailing list