electronic-lab December 2013

electronic-lab@lists.fedoraproject.org

1 participants
2 discussions

FEL Update: December 15, 2013
by Shakthi Kannan 18 Dec '13

18 Dec '13

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

1 0

New release of geda-gaf
by Peter TB Brett 05 Dec '13

05 Dec '13

Hi folks, I released geda-gaf-1.8.2. This is a stable series bugfix release. Is it possible to get it into Fedora, please? http://ftp.geda-project.org/geda-gaf/stable/v1.8/1.8.2/ Thanks, Peter -- Dr Peter Brett http://peter-b.co.uk/

2 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

electronic-lab December 2013