[free-electronic-lab] FEL Update: July 15, 2013

Hi, FEL F19 download is available at: http://spins.fedoraproject.org/fel/#downloads Testing ----------- * cbmc - Bounded Model Checker for ANSI-C and C++ programs. https://bugzilla.redhat.com/show_bug.cgi?id=965570 This has been packaged, reviewed and pushed to testing. Patches sent to upstream have been accepted. A new 4.4 release was made recently. Will build, test and push the new release soon. Stable --------- * CUnit - A unit testing framework for C CUnit-2.1.3-5 has been pushed to stable for F17, F18, and F19. This build enables ncurses. Package review request ---------------------------------- * gnuhealth - The free Health and Hospital Information System https://bugzilla.redhat.com/show_bug.cgi?id=827723 Reviews completed ----------------------------- * Bug 972605 - ghc-extensible-exceptions - Extensible exceptions https://bugzilla.redhat.com/show_bug.cgi?id=972605 * Bug 925987 - ghc-crypto-api - A generic interface for cryptographic operations https://bugzilla.redhat.com/show_bug.cgi?id=925987 Regards, SK -- Shakthi Kannan http://www.shakthimaan.com