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 _______________________________________________ electronic-lab mailing list electronic-lab@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/electronic-lab
