English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Got GMP?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-07-22 (21:57)
From: David Teller <David.Teller@u...>
Subject: Re: [Caml-list] Got GMP?
Under Debian/Ubuntu, it's libgmp-ocaml .
I don't see any GODI package, though.


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
 Angry researcher: French Universities need reforms, but the LRU act
brings liquidations.