<?xml version="1.0" encoding="ISO-8859-1"?>

<!DOCTYPE message PUBLIC
  "-//MLarc//DTD MLarc output files//EN"
  "../../mlarc.dtd"[
  <!ATTLIST message
    listname CDATA #REQUIRED
    title CDATA #REQUIRED
  >
]>

  <?xml-stylesheet href="../../mlarc.xsl" type="text/xsl"?>


<message 
  url="2002/07/ae61ec64cff6ec20bff7f7a011c51e3a"
  from="David Monniaux &lt;David.Monniaux@e...&gt;"
  author="David Monniaux"
  date="2002-07-30T01:45:59"
  subject="[Caml-list] MLGMP upgraded for GMP 4.1"
  prev="2002/07/afd92811daf13a07857d793b1331ba9e"
  next="2002/07/0efd71474f4d41a39e4250aeddcf08e5"
  prev-thread="2002/07/61f7a1e4d4165ee5a560e6259e686a4f"
  next-thread="2002/07/fee6c3e5331f7ec8db2fdd96df87865d"
  root="../../"
  period="month"
  listname="caml-list"
  title="Archives of the Caml mailing list">

<thread subject="[Caml-list] MLGMP upgraded for GMP 4.1">
<msg 
  url="2002/07/ae61ec64cff6ec20bff7f7a011c51e3a"
  from="David Monniaux &lt;David.Monniaux@e...&gt;"
  author="David Monniaux"
  date="2002-07-30T01:45:59"
  subject="[Caml-list] MLGMP upgraded for GMP 4.1">
</msg>
</thread>

<contents>
GNU MP (http://swox.com/gmp/) is a multiprecision computation library
supporting integer, rational and floating-point types.

MLGMP is the Caml interface for this library.

The latest version of MLGMP supports GMP 4.1, including the integrated
MPFR. It only supports this version, since maintaining support for
multiple GMP versions is difficult (especially for MPFR) because of some
incompatible changes. The new functions are not supported yet.

http://www.di.ens.fr/~monniaux/download/mlgmp-20020729.tar.gz

Enjoy,

Regards,

David Monniaux            http://www.di.ens.fr/~monniaux
Laboratoire d'informatique de l'École Normale Supérieure,
Paris, France

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

</contents>

</message>

