download.xml 1.24 KB
Newer Older
1
2
3
4
5
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="download">

<title>Download</title>

6
<box title="Sources tarballs" link="src">
7
8

<p>
9
10
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
11
12
13
</p>

<ul>
14
<li><a href="download/cduce-0.1.0.tar.gz">Version 0.1.0</a></li>
15
16
</ul>

17
18
19
20
<p>
See <a href="CHANGES">recent changes</a>.
</p>

21
22
</box>

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

<section title="FreeBSD Ports">
30
<p><i>In preparation</i></p>
31
32
33
34

</section>

<section title="Mac OSX binary">
35
<p><i>In preparation</i></p>
36
37
38
39
40

</section>


<section title="Red Hat Packages">
41
<p>The following packages where compiled and tested on Linux RedHat 9</p>
42
43
44
45
46
47
<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>
48
49
50
</section>


51

52
</box>
53
54

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