Fedora 22 Update: polyml-5.5.2-7.fc22

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2015-7503
2015-05-04 10:11:29
--------------------------------------------------------------------------------

Name        : polyml
Product     : Fedora 22
Version     : 5.5.2
Release     : 7.fc22
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:

This update adds an upstream patch to initialize the largeObjectCache fully in the constructor.  When MTGCProcessMarkPointers is subclassed in RescanMarked the resulting object is created on the stack and the largeObjectCache can contain invalid data if it is not cleared (trunc commit 2007).

--------------------------------------------------------------------------------

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

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