Fedora 9 Update: ocaml-mlgmpidl-1.0-1.fc9

updates at fedoraproject.org updates at fedoraproject.org
Tue Mar 31 20:33:36 UTC 2009


--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2009-3116
2009-03-30 16:51:12
--------------------------------------------------------------------------------

Name        : ocaml-mlgmpidl
Product     : Fedora 9
Version     : 1.0
Release     : 1.fc9
URL         : http://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/index.html
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:

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.
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #491712 - Review Request: ocaml-mlgmpidl - OCaml interface to GMP and MPFR libraries
        https://bugzilla.redhat.com/show_bug.cgi?id=491712
--------------------------------------------------------------------------------

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
http://fedoraproject.org/keys
--------------------------------------------------------------------------------




More information about the Fedora-package-announce mailing list