Fedora 17 Update: ocaml-3.12.1-4.fc17
updates at fedoraproject.org
updates at fedoraproject.org
Sat May 26 07:33:12 UTC 2012
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2012-7995
2012-05-17 22:52:26
--------------------------------------------------------------------------------
Name : ocaml
Product : Fedora 17
Version : 3.12.1
Release : 4.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:
Fix support for ppc64.
--------------------------------------------------------------------------------
ChangeLog:
* Tue May 15 2012 Tue May 15 2012 Karsten Hopp <karsten at redhat.com> 3.12.1-4
- ppc64 got broken by the new ARM backend, add a minor patch
* 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
--------------------------------------------------------------------------------
More information about the package-announce
mailing list