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 4D0ECBBAF for ; Wed, 23 Jul 2008 00:03:16 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEADD2hUhDz4He/2dsb2JhbACyEQ X-IronPort-AV: E=Sophos;i="4.31,233,1215381600"; d="scan'208";a="27584833" Received: from fettunta.fettunta.org ([67.207.129.222]) by mail4-smtp-sop.national.inria.fr with ESMTP; 23 Jul 2008 00:03:15 +0200 Received: from aquarium.takhisis.invalid (unknown [10.17.0.18]) by fettunta.fettunta.org (Postfix) with ESMTP id B76E61812A for ; Tue, 22 Jul 2008 22:03:13 +0000 (UTC) Received: by aquarium.takhisis.invalid (Postfix, from userid 1000) id DC1B4638B; Wed, 23 Jul 2008 00:03:10 +0200 (CEST) Date: Wed, 23 Jul 2008 00:03:10 +0200 From: Stefano Zacchiroli To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Got GMP? Message-ID: <20080722220310.GB7739@usha.takhisis.invalid> References: <1216763245.3808.13.camel@sobolev> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1216763245.3808.13.camel@sobolev> User-Agent: Mutt/1.5.18 (2008-05-17) X-Spam: no; 0.00; zacchiroli:01 zack:01 shivkumar:01 ocaml:01 mlgmp:01 www-verimag:01 monniaux:01 contrib:01 distro:01 cheers:01 zacchiroli:01 postdoc:01 zack:01 wrote:01 pps:01 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