Fedora 18 Update: ocaml-mlgmpidl-1.2.1-0.2.20120830.fc18

updates at fedoraproject.org updates at fedoraproject.org
Sat Jan 12 00:55:39 UTC 2013


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

Name        : ocaml-mlgmpidl
Product     : Fedora 18
Version     : 1.2.1
Release     : 0.2.20120830.fc18
URL         : http://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/
Summary     : OCaml interface to GMP and MPFR libraries
Description :
MLGMPIDL is an OCaml interface to the GMP and MPFR rational and real
number math libraries. Although there is another such interface, this
one is different in that it provides a more imperative (rather than
functional) interface to conserve memory and that this one uses
CAMLIDL to take care of the C/OCaml interface in a convenient and
modular way.

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

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

* Thu Dec 13 2012 Jerry James <loganjerry at gmail.com> - 1.2.1-0.2.20120830
- fullpage.sty is available in TeXLive 2012; use it
* Wed Oct 17 2012 Jerry James <loganjerry at gmail.com> - 1.2.1-0.1.20120830
- Rebuild for OCaml 4.00.1.
- Update to latest upstream SVN.
- Regenerate patch with fuzz.
- Drop fix for \textquotesingle; fixed upstream.
- Replace use of old fullpage style with use of geometry package.
--------------------------------------------------------------------------------
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-mlgmpidl' 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