-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2013-19087 2013-10-14 19:00:24 --------------------------------------------------------------------------------
Name : ghc-ForSyDe Product : Fedora 20 Version : 3.1.1 Release : 16.fc20 URL : http://hackage.haskell.org/package/ForSyDe Summary : ForSyDe's Haskell-embedded Domain Specific Language Description : The ForSyDe (Formal System Design) methodology has been developed with the objective to move system design to a higher level of abstraction and to bridge the abstraction gap by transformational design refinement. This library provides ForSyDe's implementation as a Haskell-embedded Domain Specific Language (DSL). For more information, please see ForSyDe's website: <http://www.ict.kth.se/forsyde/>. This will be most probably the last update on this package. It will be splitted to ForSyDe-shallow and ForSyDe-deep in the next release. -------------------------------------------------------------------------------- Update Information: Fix bz #992356 -------------------------------------------------------------------------------- References: [ 1 ] Bug #992356 - [ARM] ghc-ForSyDe: FTBFS in rawhide https://bugzilla.redhat.com/show_bug.cgi?id=992356 -------------------------------------------------------------------------------- This update can be installed with the "yum" update program. Use su -c 'yum update ghc-ForSyDe' at the command line. For more information, refer to "Managing Software with yum", available at http://docs.fedoraproject.org/yum/. All packages are signed with the Fedora Project GPG key. More details on the GPG keys used by the Fedora Project can be found at https://fedoraproject.org/keys -------------------------------------------------------------------------------- _______________________________________________ package-announce mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-announce
