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.2 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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 793FABBC4 for ; Mon, 16 Mar 2009 15:53:58 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am4DACMFvklDz4HegWdsb2JhbACVQgEBFiLAEYN/Bg X-IronPort-AV: E=Sophos;i="4.38,373,1233529200"; d="scan'208";a="24393574" Received: from fettunta.fettunta.org ([67.207.129.222]) by mail3-smtp-sop.national.inria.fr with ESMTP; 16 Mar 2009 15:53:57 +0100 Received: from usha.takhisis.invalid (unknown [10.17.0.10]) by fettunta.fettunta.org (Postfix) with ESMTPS id 8DF6518134 for ; Mon, 16 Mar 2009 14:53:55 +0000 (UTC) Received: by usha.takhisis.invalid (Postfix, from userid 1000) id 2420B61AE; Mon, 16 Mar 2009 15:53:24 +0100 (CET) Date: Mon, 16 Mar 2009 15:53:24 +0100 From: Stefano Zacchiroli To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] New bee question Message-ID: <20090316145324.GA14841@usha.takhisis.invalid> References: <200903161526.06673.cdome@bk.ru> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: User-Agent: Mutt/1.5.18 (2008-05-17) X-Spam: no; 0.00; zacchiroli:01 zack:01 markus:01 mottl:01 compiler:01 ocaml:01 markus:01 mismatch:01 cheers:01 zacchiroli:01 postdoc:01 zack:01 2009:98 dietro:98 c'e:98 On Mon, Mar 16, 2009 at 10:21:09AM -0400, Markus Mottl wrote: > This indicates that your type-conv library, on which bin-prot depends, > is not up-to-date. It is also highly recommended to upgrade to the > newest compiler release. BTW, since I've been hit by this several time, can you please guys (Jane St) remove the old libraries from http://www.janestreet.com/ocaml/ ? Beside core, all other libraries listed there are also listed on yours (Markus) homepage which much newer version. The mismatch is puzzling as best. ... oh, and many thanks for the libraries anyhow, they rock ;) Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime