FEL Update: December 15, 2013

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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

-- 
Shakthi Kannan
http://www.shakthimaan.com
_______________________________________________
electronic-lab mailing list
electronic-lab@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/electronic-lab





[Index of Archives]     [Fedora Users]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite Forum]     [KDE Users]

  Powered by Linux