Looking for the Coq package maintainers

Benjamin Kreuter ben.kreuter at gmail.com
Fri Oct 26 14:18:59 UTC 2012

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.


Benjamin R Kreuter
UVA Computer Science
brk7bx at virginia.edu


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

More information about the devel mailing list