viewcvs.cgi/web/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.0.tar.gz">Version 0.1.0</a></li>
</ul>

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

</box>

<box title="Packages" link="binary">
<section title="Debian Package">
<p>
A preliminary debian/unstable package of CDuce is available <a href="download/debian/">here</a>.</p>
</section>

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

</section>

<section title="Mac OSX binary">
<p><i>In preparation</i></p>

</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>
1	<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
2	<page name="download" new="">
3
4	<title>Download</title>
5
6	<box title="Sources tarballs" link="src">
7
8	<p>
9	The only available version for download is a beta release. We successfully compiled it on on Intel Linux, SunOS
10	5.7, Mac OSX, Windows XP, and FreeBSD 4.7
11	</p>
12
13	<ul>
14	<li><a href="download/cduce-0.1.0.tar.gz">Version 0.1.0</a></li>
15	</ul>
16
17	<p>
18	See <a href="CHANGES">recent changes</a>.
19	</p>
20
21	</box>
22
23	<box title="Packages" link="binary">
24	<section title="Debian Package">
25	<p>
26	A preliminary debian/unstable package of CDuce is available <a href="download/debian/">here</a>.</p>
27	</section>
28
29	<section title="FreeBSD Ports">
30	<p><i>In preparation</i></p>
31
32	</section>
33
34	<section title="Mac OSX binary">
35	<p><i>In preparation</i></p>
36
37	</section>
38
39
40	<section title="Red Hat Packages">
41	<p>The following packages where compiled and tested on Linux RedHat 9</p>
42	<ul>
43	<li><a href="download/redhat/cduce-0.1.0-1.i386.rpm">cduce-0.1.0-1.i386.rpm</a></li>
44	<li><a href="download/redhat/cduce-0.1.0-1.src.rpm">cduce-0.1.0-1.src.rpm</a></li>
45	</ul>
46	<p>If this is your first installation of CDuce rpm, please follow these <a href="rpminstructions.html">instructions</a>.
47	</p>
48	</section>
49
50	<section title="Windows">
51	<p>Compile the sources by following the instructions of the
52	file INSTALL.WIN included.</p>
53	</section>
54	</box>
55
56
57	<box title="CVS status" link="cvs">
58	You can browse the current CVS development tree <a href="http://www.cduce.org/c-bin/viewcvs.cgi/">here</a>.
59	</box>
60
61	<include file="rpminstructions.xml"/>
62	</page>