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
More information about the devel