Looking for the Coq package maintainers

[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
brk7bx at 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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 836 bytes
Desc: not available
URL: <http://lists.fedoraproject.org/pipermail/devel/attachments/20121026/6a1e6bcd/attachment.sig>