English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] Our shrinking Humps
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-04-02 (22:42)
From: Erik Arneson <erik@a...>
Subject: Re: [Caml-list] Our shrinking Humps
On 02 April 2003, Pierre Weis <pierre.weis@inria.fr> wrote:
> INRIA can donate a server and the associated bandwidth. The problem is
> then to find people that take care of this archive, since INRIA cannot
> donate the additional man power to set up and maintain it.
> Is there any volunteers ?

If somebody else sets up and maintains the INRIA HUMPS, I will happily
host an automated mirror.

;; Erik Arneson <erik@aarg.net>    AARG Net <http://www.aarg.net/> ;;
;; GPG Key ID: 2048R/8B4CBC9C           <http://erik.arneson.org/> ;;
;; "Resistance to tyrants is obedience to God!" - Thomas Jefferson ;;

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