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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 59801BBAF for ; Fri, 25 Jul 2008 23:43:59 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAIjliUhDz4He/2dsb2JhbACwSQ X-IronPort-AV: E=Sophos;i="4.31,254,1215381600"; d="scan'208";a="15466168" Received: from fettunta.fettunta.org ([67.207.129.222]) by mail3-smtp-sop.national.inria.fr with ESMTP; 25 Jul 2008 23:43:58 +0200 Received: from aquarium.takhisis.invalid (unknown [10.17.0.18]) by fettunta.fettunta.org (Postfix) with ESMTP id 990EA1847C for ; Fri, 25 Jul 2008 21:43:56 +0000 (UTC) Received: by aquarium.takhisis.invalid (Postfix, from userid 1000) id DB284726D; Fri, 25 Jul 2008 23:43:51 +0200 (CEST) Date: Fri, 25 Jul 2008 23:43:51 +0200 From: Stefano Zacchiroli To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Sexplib and types defined via constraint Message-ID: <20080725214351.GB8520@usha.takhisis.invalid> References: <363597.53244.qm@web54607.mail.re2.yahoo.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline 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 findlib:01 cheers:01 zacchiroli:01 postdoc:01 zack:01 wrote:01 pps:01 caml-list:01 jussieu:01 constraint:01 defined:02 On Fri, Jul 25, 2008 at 04:04:25PM -0400, Markus Mottl wrote: > An updated version is online already, including the Godi-package. Shameless plug: what about a release of Core? There is still the bogus requirement of the findlib "thread" module which I believe you have already fixed upstream, can you make a release with that fix? Many thanks for the nice bits of software though! 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