From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@lri.fr>
To: Christophe TROESTLER <Christophe.Troestler@umh.ac.be>
Cc: "O'Caml Mailing List" <caml-list@inria.fr>
Subject: Re: [Caml-list] OCaml development site
Date: Mon, 10 May 2004 09:32:07 +0200 [thread overview]
Message-ID: <16543.12279.138721.634844@gargle.gargle.HOWL> (raw)
In-Reply-To: <20040507.124419.02551989.Christophe.Troestler@umh.ac.be>
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
prev parent reply other threads:[~2004-05-10 7:41 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-05-07 10:44 Christophe TROESTLER
2004-05-07 11:31 ` John Goerzen
2004-05-07 11:56 ` Richard Jones
2004-05-07 13:56 ` Olivier Grisel
2004-05-07 14:04 ` Gerd Stolpmann
2004-05-07 14:33 ` Christophe TROESTLER
2004-05-07 19:13 ` Evan Martin
2004-05-07 11:48 ` Nicolas Cannasse
2004-05-07 14:53 ` John Goerzen
2004-05-07 15:07 ` Nicolas Cannasse
2004-05-07 15:40 ` Richard Jones
2004-05-07 15:41 ` Richard Jones
2004-05-07 15:46 ` Gerd Stolpmann
2004-05-07 16:04 ` Paul Snively
2004-05-07 17:55 ` sylvain.le-gall
2004-05-07 18:09 ` N. Owen Gunden
2004-05-07 18:42 ` Benjamin Geer
2004-05-07 19:48 ` Christophe TROESTLER
2004-05-07 20:43 ` Kenneth Knowles
2004-05-08 10:06 ` Stefano Zacchiroli
2004-05-10 7:32 ` Jean-Christophe Filliatre [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=16543.12279.138721.634844@gargle.gargle.HOWL \
--to=jean-christophe.filliatre@lri.fr \
--cc=Christophe.Troestler@umh.ac.be \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox