From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 6D1DCBBC1 for ; Fri, 28 Mar 2008 20:12:27 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAKLf7EfAXQIn/2dsb2JhbACrPA X-IronPort-AV: E=Sophos;i="4.25,572,1199660400"; d="scan'208";a="10795868" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 28 Mar 2008 20:12:27 +0100 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m2SJCPdV018297 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 28 Mar 2008 20:12:27 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlUCAFfg7EdQRFuwiGdsb2JhbACRMwEBAQ8mmVM X-IronPort-AV: E=Sophos;i="4.25,572,1199660400"; d="scan'208";a="10115873" Received: from furbychan.cocan.org ([80.68.91.176]) by mail1-smtp-roc.national.inria.fr with ESMTP; 28 Mar 2008 20:12:26 +0100 Received: from rich by furbychan.cocan.org with local (Exim 4.63) (envelope-from ) id 1JfJzu-00005Q-FT; Fri, 28 Mar 2008 19:12:18 +0000 Date: Fri, 28 Mar 2008 19:12:18 +0000 To: users@cduce.org Cc: caml-list@inria.fr Subject: ANNOUNCE: CDuce is now in Fedora Message-ID: <20080328191218.GA31382@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.13 (2006-08-11) From: Richard Jones X-Miltered: at concorde with ID 47ED4319.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; cduce:01 cduce:01 dependencies:01 ocaml:01 syntax:01 powerpc:01 bug:01 ocaml:01 compiler:01 dependencies:01 castagna:01 bugs:03 redhat:03 root:04 install:05 It took us a little while, but CDuce and all its dependencies are now part of Fedora. It will appear in a few weeks as an update to Fedora 8, and is a standard package from Fedora 9 onwards. This is a pretty complete build which should include every feature including the OCaml syntax extension. The only part we couldn't get working in time was 64 bit PowerPC platform support which is down to an unrelated bug in our port of the OCaml compiler to Linux/ppc64. I would really like members of the CDuce community to try it out. Even if you don't run Fedora now, you can install Fedora under virtualization using QEmu[1], or run Fedora from a Live CD[2]. After installing Fedora, you should be able to get CDuce and its dependencies by running this command as root: Fedora 8: yum --enablerepo=development install cduce Fedora 9: yum install cduce Any problems with installation, please contact me. If you find any bugs related to the Fedora port of CDuce, please report them through https://bugzilla.redhat.com/ Thanks to Xavier Lamien and Giuseppe Castagna for their invaluable help with this release. Rich. [1] http://fabrice.bellard.free.fr/qemu/ [2] http://fedoraproject.org/en/get-fedora, http://fedoraproject.org/en/get-prerelease -- Richard Jones Red Hat