Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
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