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