Looking for the Coq package maintainers

2012-10-26 Thread Benjamin Kreuter
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

Re: Looking for the Coq package maintainers

2012-10-26 Thread Jerry James
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

Re: Looking for the Coq package maintainers

2012-10-26 Thread Richard W.M. Jones
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

Re: Looking for the Coq package maintainers

2012-10-26 Thread Benjamin Kreuter
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