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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id E47C1BBCA for ; Sun, 20 Apr 2008 01:38:07 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAPseCkjAXQIm/2dsb2JhbACqHw X-IronPort-AV: E=Sophos;i="4.25,684,1199660400"; d="scan'208";a="9783726" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 20 Apr 2008 01:38:07 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m3JNc7Ft009938 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sun, 20 Apr 2008 01:38:07 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkwCAPseCkjBMVMPiGdsb2JhbACRZQEBAQ8mmAI X-IronPort-AV: E=Sophos;i="4.25,684,1199660400"; d="scan'208";a="11657566" Received: from kabis.univ-orleans.fr (HELO ka.univ-orleans.fr) ([193.49.83.15]) by mail3-smtp-sop.national.inria.fr with ESMTP; 20 Apr 2008 01:38:07 +0200 Received: from smtps.univ-orleans.fr (localhost [127.0.0.1]) by ka.univ-orleans.fr (Postfix) with ESMTP id AB9EA12AD42; Sun, 20 Apr 2008 01:38:06 +0200 (CEST) Received: from [192.168.0.12] (ras75-4-82-235-58-110.fbx.proxad.net [82.235.58.110]) by smtps.univ-orleans.fr (Postfix) with ESMTP id 533B836E5B; Sun, 20 Apr 2008 01:38:11 +0200 (CEST) Subject: Re: [Caml-list] forge.OCamlCore.org is now ready to serve the OCaml community From: David Teller To: Stefano Zacchiroli Cc: caml-list@inria.fr In-Reply-To: <20080418084515.GA30852@aquarium.takhisis.invalid> References: <20080417070904.GA27179@aquarium.takhisis.invalid> <20080418084515.GA30852@aquarium.takhisis.invalid> Content-Type: text/plain Date: Sun, 20 Apr 2008 01:39:14 +0200 Message-Id: <1208648354.6363.0.camel@Blefuscu> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 480A825F.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 univ-orleans:01 cheers:01 0200,:01 zacchiroli:01 univ-orleans:01 lifo:01 liquidations:98 wrote:01 wrote:01 caml-list:01 fri:05 thu:05 distributed:05 stefano:05 Just registered "Batteries Included". As a first step, I'm planning to upload ExtLib and start updating it & completing it based on requests. Cheers, David On Fri, 2008-04-18 at 10:45 +0200, Stefano Zacchiroli wrote: > 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 :-) > -- David Teller Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU act brings liquidations.