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=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id ACFB2BBCA for ; Fri, 18 Apr 2008 10:45:47 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAOL8B0jAXQIn/2dsb2JhbACsLQ X-IronPort-AV: E=Sophos;i="4.25,677,1199660400"; d="scan'208";a="9726820" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 18 Apr 2008 10:45:47 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m3I8jk6q026186 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 18 Apr 2008 10:45:47 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAL38B0hDz4He/2dsb2JhbACsMg X-IronPort-AV: E=Sophos;i="4.25,677,1199660400"; d="scan'208";a="25150474" Received: from fettunta.fettunta.org ([67.207.129.222]) by mail4-smtp-sop.national.inria.fr with ESMTP; 18 Apr 2008 10:45:46 +0200 Received: from aquarium.takhisis.invalid (unknown [10.17.0.10]) by fettunta.fettunta.org (Postfix) with ESMTP id 5E36818109 for ; Fri, 18 Apr 2008 08:45:45 +0000 (UTC) Received: by aquarium.takhisis.invalid (Postfix, from userid 1000) id 68AD31253B9; Fri, 18 Apr 2008 10:45:15 +0200 (CEST) Date: Fri, 18 Apr 2008 10:45:15 +0200 From: Stefano Zacchiroli To: caml-list@inria.fr Subject: Re: [Caml-list] forge.OCamlCore.org is now ready to serve the OCaml community Message-ID: <20080418084515.GA30852@aquarium.takhisis.invalid> Mail-Followup-To: caml-list@inria.fr References: <20080417070904.GA27179@aquarium.takhisis.invalid> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.17+20080114 (2008-01-14) X-Miltered: at concorde with ID 48085FBA.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; zacchiroli:01 zack:01 ocaml:01 zacchiroli:01 zack:01 unibo:01 wrote:01 caml-list:01 debian:04 thu:05 stefano:05 stefano:05 apr:06 gray:90 bac:13 On Thu, Apr 17, 2008 at 03:10:29PM -0700, Nathaniel Gray wrote: > Congratulations guys, and thanks for your service! Thank you all for the support. We now need projects :-) -- Stefano Zacchiroli -*- PhD in Computer Science ............... now what? zack@{upsilon.cc,cs.unibo.it,debian.org} -<%>- http://upsilon.cc/zack/ (15:56:48) Zack: e la demo dema ? /\ All one has to do is hit the (15:57:15) Bac: no, la demo scema \/ right keys at the right time