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 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 651A6BC6C for ; Thu, 31 Jan 2008 21:53:47 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAEzDoUdDz4He/2dsb2JhbACwUA X-IronPort-AV: E=Sophos;i="4.25,287,1199660400"; d="scan'208";a="6794720" Received: from fettunta.fettunta.org ([67.207.129.222]) by mail2-smtp-roc.national.inria.fr with ESMTP; 31 Jan 2008 21:53:46 +0100 Received: from aquarium.takhisis.invalid (unknown [10.17.0.10]) by fettunta.fettunta.org (Postfix) with ESMTP id EEDD518563 for ; Thu, 31 Jan 2008 20:53:44 +0000 (UTC) Received: by aquarium.takhisis.invalid (Postfix, from userid 1000) id 99AD3124ABB; Thu, 31 Jan 2008 21:53:42 +0100 (CET) Date: Thu, 31 Jan 2008 21:53:43 +0100 From: Stefano Zacchiroli To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] [OSR] Caml Community Code Message-ID: <20080131205343.GB10425@takhisis.invalid> References: <527cf6bc0801310825q4f9b5870y95deb586747257cd@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <527cf6bc0801310825q4f9b5870y95deb586747257cd@mail.gmail.com> User-Agent: Mutt/1.5.17+20080114 (2008-01-14) X-Spam: no; 0.00; zacchiroli:01 zack:01 0100,:01 zacchiroli:01 zack:01 unibo:01 storm:98 sourceforge:01 wrote:01 caml-list:01 caml:02 blue:96 debian:04 thu:05 stefano:05 On Thu, Jan 31, 2008 at 05:25:20PM +0100, blue storm wrote: > Sylvain Le Gall has announced at the meeting that he would provide a > server with basic development tools. I think it would be pertinent to > host such projects there. > (Moreover, sourceforge is not free, baah :p ) > But I don't know how his server-building is going. It is going ... we have set up a small time of people which is setting up the machine. We already have the forge and some other services, but it is still premature to announce it to the wide public for testing. Stay tuned. -- 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