Fedora 15 Update: pure-0.51-2.fc15
updates at fedoraproject.org
updates at fedoraproject.org
Tue Feb 14 09:09:50 UTC 2012
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2012-1336
2012-02-05 21:12:32
--------------------------------------------------------------------------------
Name : pure
Product : Fedora 15
Version : 0.51
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:
- 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
* Wed Aug 3 2011 Michel Salim <salimma at fedoraproject.org> - 0.47-3
- Rebuild against final LLVM 2.9 release
- Reenable ppc64 support (to match LLVM)
* Mon Aug 1 2011 Michel Salim <salimma at fedoraproject.org> - 0.47-2
- Build with proper optimization flags (#694565)
--------------------------------------------------------------------------------
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
--------------------------------------------------------------------------------
More information about the package-announce
mailing list