From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 954C7BBAF for ; Tue, 22 Jul 2008 23:57:08 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtEBAAP1hUjCpx6vlmdsb2JhbACSTQEBAQEJBQgYnxo X-IronPort-AV: E=Sophos;i="4.31,233,1215381600"; d="scan'208";a="27584654" Received: from smtpka.univ-orleans.fr (HELO ka.univ-orleans.fr) ([194.167.30.175]) by mail4-smtp-sop.national.inria.fr with ESMTP; 22 Jul 2008 23:56:55 +0200 Received: from smtps.univ-orleans.fr (localhost [127.0.0.1]) by ka.univ-orleans.fr (Postfix) with ESMTP id CA9C712AD47; Tue, 22 Jul 2008 23:56:55 +0200 (CEST) Received: from [192.168.0.12] (ras75-4-82-235-58-110.fbx.proxad.net [82.235.58.110]) by smtps.univ-orleans.fr (Postfix) with ESMTP id C4D8636E60; Tue, 22 Jul 2008 23:56:59 +0200 (CEST) Subject: Re: [Caml-list] Got GMP? From: David Teller To: Shivkumar Chandrasekaran Cc: Caml list In-Reply-To: <1216763245.3808.13.camel@sobolev> References: <1216763245.3808.13.camel@sobolev> Content-Type: text/plain Date: Wed, 23 Jul 2008 00:01:17 +0200 Message-Id: <1216764077.6216.30.camel@Blefuscu> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; univ-orleans:01 cheers:01 shivkumar:01 ocaml:01 --shiv--:01 univ-orleans:01 lifo:01 ubuntu:98 liquidations:98 wrote:01 caml-list:01 gmp:02 gmp:02 gnu:03 library:03 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.