Looking for the Coq package maintainers
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. Thanks, Ben -- Benjamin R Kreuter UVA Computer Science brk...@virginia.edu KK4FJZ -- If large numbers of people are interested in freedom of speech, there will be freedom of speech, even if the law forbids it; if public opinion is sluggish, inconvenient minorities will be persecuted, even if laws exist to protect them. - George Orwell signature.asc Description: PGP signature -- devel mailing list devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel
Re: Looking for the Coq package maintainers
On Fri, Oct 26, 2012 at 8:18 AM, Benjamin Kreuter ben.kreu...@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. 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. -- Jerry James http://www.jamezone.org/ -- devel mailing list devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel
Re: Looking for the Coq package maintainers
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.kreu...@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 ...? 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@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel
Re: Looking for the Coq package maintainers
On Fri, 26 Oct 2012 20:30:54 +0100 Richard W.M. Jones rjo...@redhat.com wrote: I sort of got the impression that Benjamin was looking for the *upstream* maintainers ...? Actually I was looking for Jerry; I took the rest of the discussion off-list. -- Ben -- Benjamin R Kreuter UVA Computer Science brk...@virginia.edu KK4FJZ -- If large numbers of people are interested in freedom of speech, there will be freedom of speech, even if the law forbids it; if public opinion is sluggish, inconvenient minorities will be persecuted, even if laws exist to protect them. - George Orwell signature.asc Description: PGP signature -- devel mailing list devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel