On Thu, May 19, 2011 at 12:25 PM, W. Michael Petullo m...@flyn.org wrote:
I have two packages that need to be reviewed. I'd be willing to review
two others in exchange.
I'll take spim. Can you review one of the following in exchange (your choice)?
ocaml-dpt: A SAT solver (used by Isabelle,
I have two packages that need to be reviewed. I'd be willing to review
two others in exchange.
--
Spec URL: http://www.flyn.org/SRPMS/spim.spec
SRPM URL: http://www.flyn.org/SRPMS/spim-9.0.5-1.fc14.src.rpm
spim is a