[free-electronic-lab] FEL Update: June 15, 2013
Shakthi Kannan
shakthimaan at gmail.com
Mon Jun 17 07:19:14 UTC 2013
Update: June 15, 2013
==================
New Review Request
------------------------------
* CBMC: Bounded Model Checker for ANSI-C and C++ programs
https://bugzilla.redhat.com/show_bug.cgi?id=965570
Stable
---------
* python-myhdl: A python hardware description and verification language
Updated to 0.8 (f17, f18, f19)
* ghc-MonadRandom: A random number generation monad
Updated to 0.1.9 (f17, f18, f19)
* ghc-show: Show library that provides ShowQ, ShowFun, and SimpleReflect
Updated to 0.6 (f17, f18, f19)
comps
----------
Added the following packages to the electronic-lab group in
comps-{f18, f19,f20}.xml files:
* icaro
* sigrok-cli
* pulseview
* sigrok-firmware-fx2lafw
Reviewed
-------------
* ghc-text - An efficient packed Unicode text type
https://bugzilla.redhat.com/show_bug.cgi?id=964072
* ghc-geniplate: Use template Haskell to generate Uniplate-like functions
https://bugzilla.redhat.com/show_bug.cgi?id=920174
* ghc-IfElse: Anaphoric and miscellaneous useful control-flow
https://bugzilla.redhat.com/show_bug.cgi?id=919851
* ghc-setenv: Cross-platform library for setting environment variables
https://bugzilla.redhat.com/show_bug.cgi?id=916553
Events
---------
* Organized a Fedora workshop at St. Joseph's College of Engineering,
Chennai, Tamil Nadu, India on Friday, June 14, 2013. Will send the
event report to the Ambassadors mailing list.
Regards,
SK
--
Shakthi Kannan
http://www.shakthimaan.com
More information about the electronic-lab
mailing list