From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <kosmo.zb@gmail.com>
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 6E8A47EE80
	for <caml-list@sympa.inria.fr>; Sat, 23 Mar 2013 03:51:32 +0100 (CET)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  kosmo.zb@gmail.com) identity=pra; client-ip=209.85.215.50;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="kosmo.zb@gmail.com";
  x-sender="kosmo.zb@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  kosmo.zb@gmail.com designates 209.85.215.50 as permitted
  sender) identity=mailfrom; client-ip=209.85.215.50;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="kosmo.zb@gmail.com";
  x-sender="kosmo.zb@gmail.com"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-la0-f50.google.com) identity=helo;
  client-ip=209.85.215.50;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="kosmo.zb@gmail.com";
  x-sender="postmaster@mail-la0-f50.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmcEAG8YTVHRVdcygmdsb2JhbABDh2oBq3+TYwgWDgEBCwkUEgYkgmsBOQMNBRBdEgEFAQY4h3kDD6B8gnKPLYRGJw1MiQkBBQyPKYMqA4h3jW2BH44DFimBWYJ0HA
X-IPAS-Result: AmcEAG8YTVHRVdcygmdsb2JhbABDh2oBq3+TYwgWDgEBCwkUEgYkgmsBOQMNBRBdEgEFAQY4h3kDD6B8gnKPLYRGJw1MiQkBBQyPKYMqA4h3jW2BH44DFimBWYJ0HA
X-IronPort-AV: E=Sophos;i="4.84,896,1355094000"; 
   d="scan'208";a="7538366"
Received: from mail-la0-f50.google.com ([209.85.215.50])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Mar 2013 03:51:23 +0100
Received: by mail-la0-f50.google.com with SMTP id ec20so8466512lab.37
        for <caml-list@inria.fr>; Fri, 22 Mar 2013 19:51:22 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:x-received:sender:date:x-google-sender-auth:message-id
         :subject:from:to:content-type;
        bh=zAfzFyXOqprAXdLjP0LW5FPP4/ESHQ0KyyP2sx6fvOA=;
        b=LZcpoasS5I3Fn5+CeS7XU5hHuYzkNvrykwTFlNTo2Ub6nC1yDnTG2Yg7nZgvQe7cGn
         hh+CWGoqMzGq3aEO/GsDFwHy3D/8RxO0kekk9sofTy8pYj5zQcS+E7lVnw5P4Z1urUdO
         XvwhYw4gfIpYAGe0kRzpv9OdB/LywmIR0C7SEku8s3NORKYk/WdvRG6A5KGNPOEnWZro
         vK8Q64BkhDC7mQOUwUyZu6UGJbKzjPE2aggJoeIGVPtwi/9jLAhkxqdWP+W0l59Q7aHx
         G/ZGuRGHLGpxOrCInwu9WrpvqYw9k92SoH9HIs4dztyApYV1LleGNyIEfZ6lM9JF9Icq
         J8Fw==
MIME-Version: 1.0
X-Received: by 10.152.105.38 with SMTP id gj6mr2085816lab.25.1364007082338;
 Fri, 22 Mar 2013 19:51:22 -0700 (PDT)
Sender: kosmo.zb@gmail.com
Received: by 10.112.138.74 with HTTP; Fri, 22 Mar 2013 19:51:22 -0700 (PDT)
Date: Fri, 22 Mar 2013 19:51:22 -0700
X-Google-Sender-Auth: I_OnKi-9fGnjolMxTcF8sjsJJgY
Message-ID: <CAAWM5TxKpzEbLFxfgnjmEjVUCnaa87jaYZub-W=BKnC=+m6i4w@mail.gmail.com>
From: David Sheets <sheets@alum.mit.edu>
To: caml-list@inria.fr
Content-Type: text/plain; charset=ISO-8859-1
Subject: [Caml-list] CDuce Status

What is the status of the CDuce project?

Most links point to <http://www.cduce.org/> which uses cduce.org which
is NXDOMAIN.

I see cduce 0.5.5 is available via opam and the OCamlPro
opam-repository sources from a Fedora package.

Thank you,

David Sheets