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.7 required=5.0 tests=AWL,SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id E280DBBAF for ; Tue, 22 Jul 2008 23:47:02 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar0CAPjxhUiAbzg4gWdsb2JhbACSSgEBECAEnxo X-IronPort-AV: E=Sophos;i="4.31,233,1215381600"; d="scan'208";a="15366615" Received: from gate.ece.ucsb.edu ([128.111.56.56]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 22 Jul 2008 23:47:01 +0200 X-DNSBL-MILTER: Passed Received: from mail.ece.ucsb.edu (mail.ece.ucsb.edu [128.111.56.210]) by gate.ece.ucsb.edu (8.13.8/8.13.8) with ESMTP id m6MLkvTo010204 for ; Tue, 22 Jul 2008 14:46:57 -0700 Received: from [192.168.0.245] (static-66-14-187-7.bdsl.verizon.net [66.14.187.7]) (authenticated bits=0) by mail.ece.ucsb.edu (8.13.1/8.13.1) with ESMTP id m6MLkruA015230 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 22 Jul 2008 14:46:53 -0700 Subject: Got GMP? From: Shivkumar Chandrasekaran To: Caml list Content-Type: text/plain Date: Tue, 22 Jul 2008 14:47:25 -0700 Message-Id: <1216763245.3808.13.camel@sobolev> Mime-Version: 1.0 X-Mailer: Evolution 2.22.3.1 (2.22.3.1-1.fc9) Content-Transfer-Encoding: 7bit X-Greylist: Sender DNS name whitelisted, not delayed by milter-greylist-4.0 (gate.ece.ucsb.edu [128.111.56.56]); Tue, 22 Jul 2008 14:46:57 -0700 (PDT) X-UCSB/ECE-MailScanner-Information: Please contact the ISP for more information X-MailScanner-ID: m6MLkvTo010204 X-UCSB/ECE-MailScanner: Found to be clean X-UCSB/ECE-MailScanner-From: shiv@ece.ucsb.edu X-Spam: no; 0.00; shivkumar:01 ocaml:01 --shiv--:01 gmp:02 shiv:02 gmp:02 gnu:03 library:03 interface:06 anybody:07 ece:09 ucsb:11 does:14 edu:15 thanks:17 Hi, Does anybody have an ocaml interface to GMP (Gnu Multi-Precision library)? Thanks, --shiv--