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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 3712CBBAF for ; Sun, 6 Sep 2009 12:15:10 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsgCAPsoo0rCpx6wgWdsb2JhbACbPAEBFiS6Q4QYBQ X-IronPort-AV: E=Sophos;i="4.44,341,1249250400"; d="scan'208";a="33792432" Received: from smtpmin.univ-orleans.fr (HELO min.univ-orleans.fr) ([194.167.30.176]) by mail3-smtp-sop.national.inria.fr with ESMTP; 06 Sep 2009 12:15:09 +0200 Received: from smtps.univ-orleans.fr (localhost [127.0.0.1]) by min.univ-orleans.fr (Postfix) with ESMTP id AA64112B629; Sun, 6 Sep 2009 12:15:08 +0200 (CEST) Received: from [192.168.1.2] (82-41-65-191.cable.ubr09.sgyl.blueyonder.co.uk [82.41.65.191]) by smtps.univ-orleans.fr (Postfix) with ESMTP id DB44736E60; Sun, 6 Sep 2009 12:15:09 +0200 (CEST) Subject: Re: [Caml-list] Why don't you use batteries? From: David Rajchenbach-Teller To: Alan Schmitt Cc: Edgar Friendly , caml-list@yquem.inria.fr In-Reply-To: <25ec8ca60909060303y9b8eaf4jda47f39ad267659e@mail.gmail.com> References: <4A9FBF04.1060608@gmail.com> <25ec8ca60909030625l4cc43e0boc7d032dbd19864ca@mail.gmail.com> <1252140461.3988.20.camel@Blefuscu> <25ec8ca60909060303y9b8eaf4jda47f39ad267659e@mail.gmail.com> Content-Type: text/plain Date: Sun, 06 Sep 2009 11:15:07 +0100 Message-Id: <1252232107.7631.50.camel@Blefuscu> Mime-Version: 1.0 X-Mailer: Evolution 2.26.1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; ens-lyon:01 ocamlfind:01 ocamlfind:01 0200,:01 schmitt:01 ens-lyon:01 2009:98 2009:98 threads:01 wrote:01 wrote:01 caml-list:01 alan:02 alan:02 suggestion:03 I'd say ocamlfind remove batteries ocamlfind remove batteries_threads ocamlfind remove batteries_nothreads On Sun, 2009-09-06 at 12:03 +0200, Alan Schmitt wrote: > On Sat, Sep 5, 2009 at 10:47 AM, David Rajchenbach-Teller > wrote: > Yes, we need to work on the uninstallation in GODI. > > > Do you have any suggestion to get me out of this state? (I can go and > manually erase something, but I don't know what.) > > > Alan