-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2011-10084 2011-08-02 01:13:40 --------------------------------------------------------------------------------
Name : pure Product : Fedora 15 Version : 0.47 Release : 2.fc15 URL : http://code.google.com/p/pure-lang/ Summary : A term-rewriting functional programming language Description : Pure is a modern-style functional programming language based on term rewriting. It offers equational definitions with pattern matching, full symbolic rewriting capabilities, dynamic typing, eager and lazy evaluation, lexical closures, built-in list and matrix support and an easy-to-use C interface. The interpreter uses LLVM as a back-end to JIT-compile Pure programs to fast native code. -------------------------------------------------------------------------------- Update Information: Build Pure with proper optimization flags -------------------------------------------------------------------------------- ChangeLog: * Mon Aug 1 2011 Michel Salim <[email protected]> - 0.47-2 - Build with proper optimization flags (#694565) -------------------------------------------------------------------------------- References: [ 1 ] Bug #694565 - pure 0.47-1 not built with $RPM_OPT_FLAGS https://bugzilla.redhat.com/show_bug.cgi?id=694565 -------------------------------------------------------------------------------- This update can be installed with the "yum" update program. Use su -c 'yum update pure' 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
