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@xxxxxxxxx> 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 ...? Rich. -- 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 -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
