From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q2ECvm4r008384 for ; Wed, 14 Mar 2012 13:57:48 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AowIAIOVYE9QDPKBk2dsb2JhbABDgwyyDAEDAQOBLQEBAQEJCQsJFAMkgkhAPRYYAwIBAgFYCAEBiAoHm16gUo1cgyIElVaFa40k X-IronPort-AV: E=Sophos;i="4.73,583,1325458800"; d="scan'208";a="149319799" Received: from smtp07.smtpout.orange.fr (HELO smtp.smtpout.orange.fr) ([80.12.242.129]) by mail1-smtp-roc.national.inria.fr with ESMTP; 14 Mar 2012 13:57:21 +0100 Received: from god.stelix.fr ([92.134.104.242]) by mwinf5d14 with ME id lQxL1i00P5DoQZY03QxMy4; Wed, 14 Mar 2012 13:57:21 +0100 Received: from [10.31.1.17] (helo=[127.0.0.1]) by god.stelix.fr with esmtp (Exim 4.69) (envelope-from ) id 1S7nlY-0003J9-FV for caml-list@inria.fr; Wed, 14 Mar 2012 13:57:20 +0100 Message-ID: <4F6095AF.2020108@irit.fr> Date: Wed, 14 Mar 2012 13:57:19 +0100 From: jean-marc alliot User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:10.0.2) Gecko/20120216 Thunderbird/10.0.2 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Antivirus: avast! (VPS 120313-1, 13/03/2012), Outbound message X-Antivirus-Status: Clean Subject: [Caml-list] New version of standalone ocaml interval library + mpfr/mpfi preliminary bindings for ocaml Everything is in the title. Just go to : http://www.alliot.fr/fbbdet.html.fr Friendly JMA