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

[Shakthi Kannan]

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