From: "Kim Nguyễn" <Kim.Nguyen@lri.fr>
To: Marek Kubica <marek@xivilization.net>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] CDuce Status
Date: Sat, 23 Mar 2013 19:04:04 +0100 [thread overview]
Message-ID: <CAJCP7wH6awJLfK=meHcKEr25sn6FGGvBWYkmUzeaXkEbfG3EJg@mail.gmail.com> (raw)
In-Reply-To: <20130323182116.3fc22276@xivilization.net>
On Sat, Mar 23, 2013 at 6:21 PM, Marek Kubica <marek@xivilization.net> wrote:
> On Fri, 22 Mar 2013 19:51:22 -0700
> David Sheets <sheets@alum.mit.edu> wrote:
>
>> What is the status of the CDuce project?
>>
>> Most links point to <http://www.cduce.org/> which uses cduce.org which
>> is NXDOMAIN.
>
> I get a site over there. It loads an IFrame which points to
> <http://81.57.35.167:8082/> which looks kinda shady. Unfortunately,
> both the downloads and SVN seem to be gone (404).
Hi everyone,
The server hosting the CDuce website was shut down so that
it could be moved to another building but it seems it has not been
rebooted yet :-(
We are putting a temporary web page (thus the redirect you are seeing).
The real site should be online again sometime next week (hopefully).
Cheers,
--
Kim
next prev parent reply other threads:[~2013-03-23 18:04 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-03-23 2:51 David Sheets
2013-03-23 17:21 ` Marek Kubica
2013-03-23 18:04 ` Kim Nguyễn [this message]
2013-04-23 12:03 ` Alain Frisch
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='CAJCP7wH6awJLfK=meHcKEr25sn6FGGvBWYkmUzeaXkEbfG3EJg@mail.gmail.com' \
--to=kim.nguyen@lri.fr \
--cc=caml-list@inria.fr \
--cc=marek@xivilization.net \
/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