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