From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 006DD7EE80 for ; Sat, 23 Mar 2013 19:04:38 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Kim.Nguyen@lri.fr) identity=pra; client-ip=129.175.33.41; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Kim.Nguyen@lri.fr"; x-sender="Kim.Nguyen@lri.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Kim.Nguyen@lri.fr) identity=mailfrom; client-ip=129.175.33.41; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Kim.Nguyen@lri.fr"; x-sender="Kim.Nguyen@lri.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp1.u-psud.fr) identity=helo; client-ip=129.175.33.41; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Kim.Nguyen@lri.fr"; x-sender="postmaster@smtp1.u-psud.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApECAHztTVGBryEpe2dsb2JhbABExXKBI0YIFg4BARYmBCSCJAEBBUsBLRALCwgFLiIDDwEFARwGEwgBiAujSZAuAY0ejxgHg0ADlmeBH44DFimELoFpJA X-IPAS-Result: ApECAHztTVGBryEpe2dsb2JhbABExXKBI0YIFg4BARYmBCSCJAEBBUsBLRALCwgFLiIDDwEFARwGEwgBiAujSZAuAY0ejxgHg0ADlmeBH44DFimELoFpJA X-IronPort-AV: E=Sophos;i="4.84,897,1355094000"; d="scan'208";a="7585703" Received: from smtp1.u-psud.fr ([129.175.33.41]) by mail3-smtp-sop.national.inria.fr with ESMTP; 23 Mar 2013 19:04:38 +0100 Received: from smtp1.u-psud.fr (localhost [127.0.0.1]) by localhost (MTA) with SMTP id 6D27A2563A9 for ; Sat, 23 Mar 2013 19:04:38 +0100 (CET) Received: from ext.lri.fr (ext.lri.fr [129.175.15.4]) by smtp1.u-psud.fr (MTA) with ESMTP id D03272563A4 for ; Sat, 23 Mar 2013 19:04:37 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by ext.lri.fr (Postfix) with ESMTP id C4E64407F1 for ; Sat, 23 Mar 2013 19:04:37 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at lri.fr Received: from ext.lri.fr ([127.0.0.1]) by localhost (ext.lri.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id v59fYBZQizg5 for ; Sat, 23 Mar 2013 19:04:37 +0100 (CET) Received: from mail-pd0-f179.google.com (mail-pd0-f179.google.com [209.85.192.179]) (using TLSv1 with cipher RC4-SHA (128/128 bits)) (No client certificate requested) by ext.lri.fr (Postfix) with ESMTPSA id 2C20A40350 for ; Sat, 23 Mar 2013 19:04:36 +0100 (CET) Received: by mail-pd0-f179.google.com with SMTP id x10so2023651pdj.10 for ; Sat, 23 Mar 2013 11:04:35 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=x-received:mime-version:in-reply-to:references:from:date:message-id :subject:to:cc:content-type:x-gm-message-state; bh=SbJwjiego/1MSDbOB4P8l695ORjm3sjBvosw3OqF9TU=; b=VdkMBDsG/OrPTmMlo4aohaouwI2Xic6qiazXbZIf+KTns0AMzpABV0Un167J0770sp 4jJtfcbcy1M4c83d6wj94GL8GoSyNqYWzTKUnfMrZumkx7FDtJnJxiil1pbgRqN3ayDE w62F1Cy0CtOsLRSXjhwzOsjR7P7FNSJ60YTd+bstvDOJUfBhiJFzdVis67ehYdXSYelJ L3byRpR3Hr/UftkAMrrjKkpD/PWgxu885npOeFQ4X9fjgP2LZ8CUIVislthlxVXeTWJN 7+KUnanzvp06dgZtAwwWXktNTYWRwSwg7AWCCfxmBHDpzmwwj+tSa6YxNVUvAm+QgDqc iE6Q== X-Received: by 10.68.222.73 with SMTP id qk9mr8898236pbc.115.1364061875283; Sat, 23 Mar 2013 11:04:35 -0700 (PDT) MIME-Version: 1.0 Received: by 10.68.84.9 with HTTP; Sat, 23 Mar 2013 11:04:04 -0700 (PDT) In-Reply-To: <20130323182116.3fc22276@xivilization.net> References: <20130323182116.3fc22276@xivilization.net> From: =?UTF-8?B?S2ltIE5ndXnhu4Vu?= Date: Sat, 23 Mar 2013 19:04:04 +0100 Message-ID: To: Marek Kubica Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 X-Gm-Message-State: ALoCoQl4364ouPxiub47wm02p7fi5gWI5xK9SsFMA1lwLzbVLFq9YAWogHFCRbBFPnsNHCIn/Kr1 X-Validation-by: kim.nguyen@lri.fr Subject: Re: [Caml-list] CDuce Status On Sat, Mar 23, 2013 at 6:21 PM, Marek Kubica wrote: > On Fri, 22 Mar 2013 19:51:22 -0700 > David Sheets wrote: > >> What is the status of the CDuce project? >> >> Most links point to which uses cduce.org which >> is NXDOMAIN. > > I get a site over there. It loads an IFrame which points to > 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