Version franēaise
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] OCaml development site
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-05-10 (07:41)
From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@l...>
Subject: Re: [Caml-list] OCaml development site

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

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 (

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: