Looking for the Coq package maintainers

Benjamin Kreuter ben.kreuter at gmail.com
Fri Oct 26 19:39:06 UTC 2012

On Fri, 26 Oct 2012 20:30:54 +0100
"Richard W.M. Jones" <rjones at 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

-- Ben

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/2605798a/attachment.sig>

More information about the devel mailing list