Fedora 16 Update: pure-0.51-2.fc16

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2012-1368
2012-02-05 21:14:05
--------------------------------------------------------------------------------

Name        : pure
Product     : Fedora 16
Version     : 0.51
Release     : 2.fc16
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:

- update to latest upstream release
- use distribution-specified optflags, not upstream's
--------------------------------------------------------------------------------
ChangeLog:

* Sat Feb  4 2012 Michel Salim <salimma at fedoraproject.org> - 0.51-2
- Don't use --enable-release; this overrides compiler flags (#753573)
* Fri Feb  3 2012 Michel Salim <salimma at fedoraproject.org> - 0.51-1
- Update to 0.51
* Fri Nov 11 2011 Michel Salim <salimma at fedoraproject.org> - 0.48-1
- Update to 0.48
- Build against clang on Fedora 17 and above
* Wed Oct 26 2011 Marcela Mašláňová <mmaslano at redhat.com> - 0.47-3.2
- rebuild with new gmp without compat lib
* Wed Oct 12 2011 Peter Schiffer <pschiffe at redhat.com> - 0.47-3.1
- rebuild with new gmp
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #753573 - pure 0.48-1 not built with $RPM_OPT_FLAGS
        https://bugzilla.redhat.com/show_bug.cgi?id=753573
  [ 2 ] Bug #754397 - pure-0.51 is available
        https://bugzilla.redhat.com/show_bug.cgi?id=754397
--------------------------------------------------------------------------------

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
--------------------------------------------------------------------------------