Looking for the Coq package maintainers

[Benjamin Kreuter]

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
off-list.

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