Fedora 17 Update: ocaml-3.12.1-3.fc17

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2012-6940
2012-04-30 18:42:01
--------------------------------------------------------------------------------

Name        : ocaml
Product     : Fedora 17
Version     : 3.12.1
Release     : 3.fc17
URL         : http://www.ocaml.org
Summary     : Objective Caml compiler and programming environment
Description :
Objective Caml is a high-level, strongly-typed, functional and
object-oriented programming language from the ML family of languages.

This package comprises two batch compilers (a fast bytecode compiler
and an optimizing native-code compiler), an interactive toplevel system,
parsing tools (Lex,Yacc,Camlp4), a replay debugger, a documentation generator,
and a comprehensive library.

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

Add new ARM code generator (backported from upstream).
--------------------------------------------------------------------------------
ChangeLog:

* Sat Apr 28 2012 Richard W.M. Jones <rjones at redhat.com> 3.12.1-3
- New ARM backend by Benedikt Meurer, backported to OCaml 3.12.1.
  This has several advantages, including enabling natdynlink on ARM.
- Provide updated config.guess and config.sub (from OCaml upstream tree).
* Thu Jan 12 2012 Richard W.M. Jones <rjones at redhat.com> 3.12.1-2
- add back ocaml-ppc64.patch for ppc secondary arch, drop .cmxs files
  from file list on ppc (cherry picked from F16 - this should have
  gone into Rawhide originally then been cherry picked back to F16)
--------------------------------------------------------------------------------

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