Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: caml-list@inria.fr
Subject: Re: [Caml-list] ocamlnet repo
Date: Fri, 18 Jan 2008 15:28:04 +0100	[thread overview]
Message-ID: <1200666484.26598.3.camel@flake.lan.gerd-stolpmann.de> (raw)
In-Reply-To: <1200666343.26598.2.camel@flake.lan.gerd-stolpmann.de>


Am Freitag, den 18.01.2008, 15:25 +0100 schrieb Gerd Stolpmann:
> Am Freitag, den 18.01.2008, 11:38 +1100 schrieb Erik de Castro Lopo:
> > Joel Reymont wrote:
> > 
> > > Where is the ocamlnet repository these days?
> > 
> > Its been here:
> > 
> >    http://ocamlnet.sourceforge.net/
> > 
> > for as long as I can remember.
> 
> Well, the homepage is there. The repo link is however now
> 
> https://godirepo.camlcity.org/svn/lib-ocamlnet

Sorry:

https://godirepo.camlcity.org/svn/lib-ocamlnet2

is correct

> 
> The gps.dynxs.de address usually redirects to this link, but now and
> then there are downtimes.
> 
> Gerd
-- 
------------------------------------------------------------
Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany 
gerd@gerd-stolpmann.de          http://www.gerd-stolpmann.de
Phone: +49-6151-153855                  Fax: +49-6151-997714
------------------------------------------------------------


      reply	other threads:[~2008-01-18 14:28 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-01-17 23:43 Joel Reymont
2008-01-18  0:38 ` [Caml-list] " Erik de Castro Lopo
2008-01-18 14:25   ` Gerd Stolpmann
2008-01-18 14:28     ` Gerd Stolpmann [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=1200666484.26598.3.camel@flake.lan.gerd-stolpmann.de \
    --to=info@gerd-stolpmann.de \
    --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