loganjerry at gmail.com
Thu Apr 28 17:49:39 UTC 2011
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.
More information about the devel