FEL Update: December 15, 2013

[Shakthi Kannan]

FEL Update
=========

* FEL F20 is available at:

http://mirrors.kernel.org/fedora-alt/releases/20/Spins/x86_64/

Please check the sha256sum before you use it.

Testing
---------

* vrq
  Verilog tool framework with plugins for manipulating source code.
  Updated to 1.0.97 for F18, F19, F20.
  https://bugzilla.redhat.com/show_bug.cgi?id=1037379

* ghc-numbers
  Instances of numerical classes for numbers
  Updated to 3000.2.0.0 for F18, F19, and F20.
  https://bugzilla.redhat.com/show_bug.cgi?id=1018672

Stable
-------

* geda-gaf
  Design Automation toolkit for electronic design.
  Pushed 1.8.2 for F18, F19, F20.

* cbmc
  Bounded Model Checker for ANSI-C and C++ programs.
  Pushed 4.6 for F19, F20.

Packages reviewed:

* ghc-network-enumerator
  Enumerators for network sockets.
  https://bugzilla.redhat.com/show_bug.cgi?id=1019215

* ghc-mtl
  Monad classes using functional dependencies.
  https://bugzilla.redhat.com/show_bug.cgi?id=1005522

* ghc-zlib
  Compression and decompression in the gzip and zlib formats.
  https://bugzilla.redhat.com/show_bug.cgi?id=1023706

Regards,

SK