Request For Reviewer

[Mark Rader]

Hello

I have just (mostly) completed a package for review.  The package is part of
the "OpenProofs" project and is called Frama-C.  It is for the mathematical
proof of subroutines and programs.  The website for the project is
www.openproofs.org and the link to the bug report is
https://bugzilla.redhat.com/show_bug.cgi?id=564520 so you can browse it for
consideration.  If you are interested let me know.

Mark Rader
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.fedoraproject.org/pipermail/devel/attachments/20100509/a407138a/attachment.html