* MLGMP 0.14
@ 2000-09-26 20:36 David Monniaux
0 siblings, 0 replies; only message in thread
From: David Monniaux @ 2000-09-26 20:36 UTC (permalink / raw)
To: Liste CAML
J.C. Filliâtre ported MLGMP to OCaml 3.0. Kudos to him!
http://www.di.ens.fr/~monniaux/download/mlgmp.tar.gz for the latest
release.
Warning: MLGMP currently works only with GNU MP 2.0, *NOT* 3.0. I'll port
it if I see a clear advantage in GNU MP 3 over 2.
--
David Monniaux http://www.di.ens.fr/~monniaux
Laboratoire d'informatique de l'École Normale Supérieure,
Paris, France
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2000-09-27 7:24 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2000-09-26 20:36 MLGMP 0.14 David Monniaux
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox