Fedora 7 Update: polyml-5.1-3.fc7

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2008-0166
2008-01-03 01:06:56
--------------------------------------------------------------------------------

Name        : polyml
Product     : Fedora 7
Version     : 5.1
Release     : 3.fc7
URL         : http://www.polyml.org
Summary     : Poly/ML compiler and runtime system
Description :
Poly/ML is a full implementation of Standard ML available as
open-source.  This release supports the ML97 version of the language
and the Standard Basis Library.

--------------------------------------------------------------------------------
Update Information:

new release 5.1
--------------------------------------------------------------------------------
ChangeLog:

* Wed Jan  2 2008 Gerard Milmeister <gemi at bluewin.ch> - 5.1-3
- Exclude arch ppc64
* Wed Jan  2 2008 Gerard Milmeister <gemi at bluewin.ch> - 5.1-1
- new release 5.1
--------------------------------------------------------------------------------
Updated packages:

050f1e50f64471447e21b31a76323ed42b47be51 polyml-debuginfo-5.1-3.fc7.i386.rpm
1b2c4cd37e4afddfa5fb47806f0be2a7cf112f6e polyml-libs-5.1-3.fc7.i386.rpm
c89479d9837382074a4062754776aed0f46b7840 polyml-doc-5.1-3.fc7.i386.rpm
b1f5d7e569750c283e6d87e79dcbc8b1b2bdfe25 polyml-5.1-3.fc7.i386.rpm
1e928fe4528ba8e89113cd97c5fbab8175b1c26c polyml-debuginfo-5.1-3.fc7.x86_64.rpm
319e936a1ebb88f72da2d94642a77770b15c1ca3 polyml-libs-5.1-3.fc7.x86_64.rpm
0f5ed0b730bdf1879a3b5e2e72666e992d26e6c2 polyml-doc-5.1-3.fc7.x86_64.rpm
4f5d5dc0410955bdc896b21fe0d6f443e79d3a75 polyml-5.1-3.fc7.x86_64.rpm
3cf0bf7b46ec5842eec914cd1e4feec8085e0a6d polyml-debuginfo-5.1-3.fc7.ppc.rpm
ebdac3d692b23ab019f8059e0be219ea0f7b6215 polyml-libs-5.1-3.fc7.ppc.rpm
b7b98d347d17a718340edfb4bb23b01d4c6ea468 polyml-doc-5.1-3.fc7.ppc.rpm
09572f0f6d0dcfd2219ed2bab4acb0a31eae41a6 polyml-5.1-3.fc7.ppc.rpm
1b0fde3bc874c16d616504fb333a685e0921b64f polyml-5.1-3.fc7.src.rpm

This update can be installed with the "yum" update program.  Use 
su -c 'yum update polyml' 
at the command line.  For more information, refer to "Managing Software
with yum", available at http://docs.fedoraproject.org/yum/.
--------------------------------------------------------------------------------