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 JAA13830; Mon, 10 May 2004 09:41:33 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA12735 for ; Mon, 10 May 2004 09:41:32 +0200 (MET DST) Received: from lri.lri.fr (lri.lri.fr [129.175.15.1]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i4A7fVSH006353 for ; Mon, 10 May 2004 09:41:31 +0200 Received: from pc8-123 (pc8-123 [129.175.8.123]) by lri.lri.fr (8.12.10/jtpda-5.4) with ESMTP id i4A7W7Cr017021 ; Mon, 10 May 2004 09:32:07 +0200 (MEST) Received: from filliatr by pc8-123 with local (Exim 3.35 #1 (Debian)) id 1BN5Gh-0004ou-00; Mon, 10 May 2004 09:32:07 +0200 From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <16543.12279.138721.634844@gargle.gargle.HOWL> Date: Mon, 10 May 2004 09:32:07 +0200 To: Christophe TROESTLER Cc: "O'Caml Mailing List" Subject: Re: [Caml-list] OCaml development site In-Reply-To: <20040507.124419.02551989.Christophe.Troestler@umh.ac.be> References: <20040507.124419.02551989.Christophe.Troestler@umh.ac.be> X-Mailer: VM 7.03 under Emacs 20.7.2 Reply-To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre) X-MailScanner: Found to be clean X-Miltered: at concorde with ID 409F322B.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; filliatre:01 filliatre:01 lri:01 caml-list:01 troestler:01 cpan-like:01 tarballs:01 tarballs:01 homepages:99 sourceforge:01 lri:01 filliatr:01 christophe:01 ocaml:01 ocaml:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Christophe TROESTLER writes: > > Richard Jones and myself are thinking about setting up a collaborative > development site for OCaml projects. Not only this can show to the > world how active the OCaml community is [and to prevent code from > disappearing when the developer is not interested in maintaining it > anymore] but also serve as a base for a CPAN-like repository. I would be glad to upload tarballs and documentation of my ocaml stuff to such a web site but I would not put my CVS development sources there. The idea of centralizing the tarballs is good (having the ocaml users contributions spread all over homepages is definitely an issue) and would ease the use of GODI (since most if not all GODI specs could point to a unique web site). Only hosting tarballs and documentation should not be too much maintenance work; if someone really needs something like sourceforge to host his development sources, he can still use it independently (and then upload tarballs somewhere else when ready). -- Jean-Christophe Filliātre (http://www.lri.fr/~filliatr) ------------------- 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