viewcvs.cgi/web/download.xml

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

<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><i>In preparation</i></p>

</section>


</box>
</page>
1	<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
2	<page name="download">
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><i>In preparation</i></p>
42
43	</section>
44
45
46	</box>
47	</page>