download.xml

<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="download" new="">

<title>Download</title>

<box title="Sources tarballs" link="src">

<p>
The only available version for download is a beta release. We successfully compiled it on on Intel Linux, SunOS
5.7, Mac OSX, Windows XP, and FreeBSD 4.7
</p>

<ul>
<li><a href="download/cduce-0.1.1.tar.gz">Version 0.1.1</a></li>
</ul>

<p>
See <a href="CHANGES">recent changes</a>.
</p>

</box>

<box title="Packages" link="binary">
<section title="Debian Package">
<p>
  An <b>apt-gettable repository</b> for debian/unstable is available, just add
  the following line to your <tt>/etc/apt/sources.list</tt>
</p>
<p>
  <a href="http://www.cduce.org/download/debian/"><tt>deb http://www.cduce.org/ download/debian/</tt></a>
</p>
</section>

<section title="FreeBSD Ports">
<p><i>In preparation</i></p>
</section>

<section title="Mac OS X binary">
  <p>
    A <tt>.sit</tt> archive including <tt>cduce</tt> and <tt>dtd2cduce</tt>
    binaries along with manpages and a copy of the website and the online
    prototype CGI is available:
  </p>
  <ul>
    <li><a href="download/macosx/CDuce 0.1.0.sit">CDuce 0.1.0.sit (2.6 Mb)</a></li>
  </ul>
</section>


<section title="Red Hat Packages">
<p>The following packages where compiled and tested on Linux RedHat 9</p>
<ul>
<li><a href="download/redhat/cduce-0.1.0-1.i386.rpm">cduce-0.1.0-1.i386.rpm</a></li>
<li><a href="download/redhat/cduce-0.1.0-1.src.rpm">cduce-0.1.0-1.src.rpm</a></li>
</ul>
<p>If this is your first installation of CDuce rpm, please follow these <a href="rpminstructions.html">instructions</a>.
</p>
</section>

<section title="Windows">
<p>Compile the sources by following the instructions of the
file INSTALL.WIN included.</p>
</section>
</box>


<box title="CVS status" link="cvs">
You can browse the current CVS development tree <a href="http://www.cduce.org/c-bin/viewcvs.cgi/">here</a>. 
</box>

<include file="rpminstructions.xml"/>
</page>