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