/*Jerry James <loganjerry(a)gmail.com>*/ wrote on 04/28/2011 10:19:39 PM
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.
I'll take csdp.
You can take one of the following (or both ;) ); they should be
relatively easy to review: