Review swaps

Jerry James loganjerry at
Thu Apr 28 17:49:39 UTC 2011

Hi all,

I'd like to swap a couple of reviews.  My packages:

This is the next chunk of a voice recognition stack (CMU Sphinx) I've
slowly been pushing into Fedora.

This is used by some theorem provers, namely coq (which is already in
Fedora, and complains bitterly that csdp is missing if you do certain
things), and Isabelle (which I hope to see in Fedora sometime before I

Both are moderately complex packages.  Let me know what I can review
for you in exchange.
Jerry James

More information about the devel mailing list