* Got GMP?
@ 2008-07-22 21:47 Shivkumar Chandrasekaran
2008-07-22 22:01 ` [Caml-list] " David Teller
2008-07-22 22:03 ` Stefano Zacchiroli
0 siblings, 2 replies; 3+ messages in thread
From: Shivkumar Chandrasekaran @ 2008-07-22 21:47 UTC (permalink / raw)
To: Caml list
Hi,
Does anybody have an ocaml interface to GMP (Gnu Multi-Precision
library)? Thanks,
--shiv--
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Caml-list] Got GMP?
2008-07-22 21:47 Got GMP? Shivkumar Chandrasekaran
@ 2008-07-22 22:01 ` David Teller
2008-07-22 22:03 ` Stefano Zacchiroli
1 sibling, 0 replies; 3+ messages in thread
From: David Teller @ 2008-07-22 22:01 UTC (permalink / raw)
To: Shivkumar Chandrasekaran; +Cc: Caml list
Under Debian/Ubuntu, it's libgmp-ocaml .
I don't see any GODI package, though.
Cheers,
David
On Tue, 2008-07-22 at 14:47 -0700, Shivkumar Chandrasekaran wrote:
> Hi,
>
> Does anybody have an ocaml interface to GMP (Gnu Multi-Precision
> library)? Thanks,
>
> --shiv--
--
David Teller-Rajchenbach
Security of Distributed Systems
http://www.univ-orleans.fr/lifo/Members/David.Teller
Angry researcher: French Universities need reforms, but the LRU act
brings liquidations.
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Caml-list] Got GMP?
2008-07-22 21:47 Got GMP? Shivkumar Chandrasekaran
2008-07-22 22:01 ` [Caml-list] " David Teller
@ 2008-07-22 22:03 ` Stefano Zacchiroli
1 sibling, 0 replies; 3+ messages in thread
From: Stefano Zacchiroli @ 2008-07-22 22:03 UTC (permalink / raw)
To: caml-list
On Tue, Jul 22, 2008 at 02:47:25PM -0700, Shivkumar Chandrasekaran wrote:
> Does anybody have an ocaml interface to GMP (Gnu Multi-Precision
> library)? Thanks,
mlgmp, available at
http://www-verimag.imag.fr/~monniaux/programmes.html.en (linked from The
Hump: http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=278). Available
in Debian in the libgmp-ocaml-dev package, in case you are using any
Debian-based distro.
Cheers.
--
Stefano Zacchiroli -*- PhD in Computer Science \ PostDoc @ Univ. Paris 7
zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/
I'm still an SGML person,this newfangled /\ All one has to do is hit the
XML stuff is so ... simplistic -- Manoj \/ right keys at the right time
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2008-07-22 22:03 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-07-22 21:47 Got GMP? Shivkumar Chandrasekaran
2008-07-22 22:01 ` [Caml-list] " David Teller
2008-07-22 22:03 ` Stefano Zacchiroli
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox