Fedora 18 Update: ocaml-extlib-1.5.3-2.fc18

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2012-20337
2012-12-14 06:37:20
--------------------------------------------------------------------------------

Name        : ocaml-extlib
Product     : Fedora 18
Version     : 1.5.3
Release     : 2.fc18
URL         : http://code.google.com/p/ocaml-extlib/
Summary     : OCaml ExtLib additions to the standard library
Description :
ExtLib is a project aiming at providing a complete - yet small -
standard library for the OCaml programming language. The purpose of
this library is to add new functions to OCaml Standard Library
modules, to modify some functions in order to get better performances
or more safety (tail-recursive) but also to provide new modules which
should be useful for the average OCaml programmer.

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

Update OCaml to attempt to fix RHBZ#877128.
--------------------------------------------------------------------------------
ChangeLog:

* Tue Nov 27 2012 Richard W.M. Jones <rjones at redhat.com> - 1.5.3-2
- BR >= OCaml 4.00.1 so we can't be built against the wrong OCaml.
* Mon Oct 29 2012 Richard W.M. Jones <rjones at redhat.com> - 1.5.3-1
- New upstream version 1.5.3.
- Remove patch, now upstream.
- Clean up the spec file.
- Rebuild for OCaml 4.00.1.
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #877128 - Ocaml tries to allocate a ridiculous amount of memory
        https://bugzilla.redhat.com/show_bug.cgi?id=877128
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use 
su -c 'yum update ocaml-extlib' 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
--------------------------------------------------------------------------------