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" 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..

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 > 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 a

Re: Looking for the Coq package maintainers

2012-10-26 Thread Jerry James
On Fri, Oct 26, 2012 at 8:18 AM, Benjamin Kreuter 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.

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 numb