From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA20676; Thu, 4 Dec 2003 15:59:43 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA18832 for ; Thu, 4 Dec 2003 15:59:42 +0100 (MET) Received: from rabelais.socialtools.net (rabelais.socialtools.net [81.2.94.243]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id hB4Exf112938 for ; Thu, 4 Dec 2003 15:59:41 +0100 (MET) Received: by rabelais.socialtools.net (Postfix, from userid 108) id E47E323327; Thu, 4 Dec 2003 00:41:55 +0000 (GMT) Received: from socialtools.net (chaucer.socialtools.net [81.2.94.242]) by rabelais.socialtools.net (Postfix) with ESMTP id B9A80232DA; Thu, 4 Dec 2003 00:41:54 +0000 (GMT) Message-ID: <3FCE82D2.3030906@socialtools.net> Date: Thu, 04 Dec 2003 00:41:54 +0000 From: Benjamin Geer User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.5) Gecko/20031007 X-Accept-Language: en-gb, en, fr, it MIME-Version: 1.0 To: Gerd Stolpmann Cc: Caml list Subject: Re: [Caml-list] GODI news References: <3FCD21F9.9010100@socialtools.net> <1070495974.9202.101.camel@ice.gerd-stolpmann.de> In-Reply-To: <1070495974.9202.101.camel@ice.gerd-stolpmann.de> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Checker-Version: SpamAssassin 2.60 (1.212-2003-09-23-exp) on rabelais.socialtools.net X-Spam-Status: No, hits=-4.9 required=5.0 tests=BAYES_00 autolearn=ham version=2.60 X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 gerd:01 stolpmann:01 dependencies:01 wrote:03 news:94 send:93 send:93 benjamin:07 U4:88 U4:88 helpful:12 build:15 too:16 urls:16 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Gerd Stolpmann wrote: > And when this works, too, you can send the contents of the godi-foo > directory to me, and I can integrate it into GODI. Thank you, this was very helpful. One question: wouldn't it be better if I could just send you a URL where the godi-foo directory can be found? GODI could download a list of those URLs from your web server, and use it to download the build instructions for each package from the package maintainer's web server. That way, people could change the contents of their godi-foo directories (e.g. to change their package's dependencies) without having to send them to you again. Ben ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners