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
