Fedora 18 Update: ocaml-lablgtk-2.16.0-1.fc18

[updates at fedoraproject.org]

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

Name        : ocaml-lablgtk
Product     : Fedora 18
Version     : 2.16.0
Release     : 1.fc18
URL         : http://lablgtk.forge.ocamlcore.org/
Summary     : Objective Caml interface to gtk+
Description :
LablGTK is is an Objective Caml interface to gtk+.

It uses the rich type system of Objective Caml 3 to provide a strongly
typed, yet very comfortable, object-oriented interface to gtk+. This
is not that easy if you know the dynamic typing approach taken by
gtk+.

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

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

* Wed Oct 17 2012 Richard W.M. Jones <rjones at redhat.com> - 2.16.0-2
- Clean up the spec file.
- Set OCAMLFIND_DESTDIR so the ocamlfind install works.
* Wed Oct 17 2012 Orion Poplawski <orion at cora.nwra.com> - 2.16.0-1
- Update to 2.16.0
- Rebase avoid-queue-empty-in-gtkThread patch
- Drop ocaml 4.00 patch fixed upstream, and drop autoconf rebuild
- Drop META version fix no longer needed
- Add BR ocaml-findlib
--------------------------------------------------------------------------------
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-lablgtk' 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
--------------------------------------------------------------------------------