From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <martindemello@gmail.com>
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id 74A14BBAF
	for <caml-list@yquem.inria.fr>; Fri, 21 May 2010 15:43:19 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AvkBAEsq9kvRVd20kGdsb2JhbACeGQgVAQEBAQkJDAcRAx+tVIIChS4uiE8BAQMFhQ0Egz8
X-IronPort-AV: E=Sophos;i="4.53,278,1272837600"; 
   d="scan'208";a="63227764"
Received: from mail-qy0-f180.google.com ([209.85.221.180])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 21 May 2010 15:43:18 +0200
Received: by qyk10 with SMTP id 10so1400488qyk.11
        for <caml-list@yquem.inria.fr>; Fri, 21 May 2010 06:43:18 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:received:received:date:message-id
         :subject:from:to:content-type;
        bh=D6dk3kRrCYRa07j0NchYIHEvHzXyYBI1RSynHKBTlUU=;
        b=JG96q6bxX4SUF8dRPcPrkGF5RsQqoLFSZhWe3XTZn/yJw1vZg0FzzWEbwqWUTeE31f
         YTUG4qxw/gLbSv8TDnj9kja5JybEfvGiQlujwgrKQdPAYJ+xHRxfBftlh+4F3vWMlPLl
         Iam8ASsxmMuhkeaWZ+ll2o8Z17L5HCGn5eZPE=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:date:message-id:subject:from:to:content-type;
        b=m+Kdx2UkJqdReQhWrVinvfN+j4JzUqrcy8gP7D6XdgOeIqxpazOrVhZmaL4RfuPEVD
         EfFd4kWwI51Vf3KtPEzUYWnp7xR/G0EmlQ5GaSgtLSYYpto0kyL7Zwv7QNZ9lfrn3UBt
         voEZvEBV/84Hj6kkKCMnmwTn4/u7mMNBK1bXg=
MIME-Version: 1.0
Received: by 10.224.87.214 with SMTP id x22mr1121122qal.72.1274449397802; Fri, 
	21 May 2010 06:43:17 -0700 (PDT)
Received: by 10.229.192.149 with HTTP; Fri, 21 May 2010 06:43:17 -0700 (PDT)
Date: Fri, 21 May 2010 19:13:17 +0530
Message-ID: <AANLkTiloqtmlJrBqFYieH60te5idTfUmFnhnNrpsyYju@mail.gmail.com>
Subject: Current state of GODI and batteries
From: Martin DeMello <martindemello@gmail.com>
To: OCaml List <caml-list@yquem.inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
X-Spam: no; 0.00; batteries:91 batteries:91 version:13 martin:13 martin:13 some:14 can't:17 U4:82 U4:82 there:18 latest:20 current:23 pretty:23 com:74 the:27 

The version of batteries on GODI is pretty old by now, and shows no
signs of being updated. Googling around, I can't find anything about
this - is there some reason the latest batteries is not on GODI?

martin