| 26 |
A preliminary debian/unstable package of CDuce is available <a href="download/debian/">here</a>.</p> |
A preliminary debian/unstable package of CDuce is available <a href="download/debian/">here</a>.</p> |
| 27 |
</section> |
</section> |
| 28 |
|
|
|
<section title="FreeBSD Ports"> |
|
|
<p><i>In preparation</i></p> |
|
|
</section> |
|
|
|
|
| 29 |
<section title="Mac OSX binary"> |
<section title="Mac OSX binary"> |
| 30 |
<p> |
<p> |
| 31 |
A <tt>.sit</tt> archive including <tt>cduce</tt> and <tt>dtd2cduce</tt> |
A <tt>.sit</tt> archive including <tt>cduce</tt> and <tt>dtd2cduce</tt> |
| 37 |
</ul> |
</ul> |
| 38 |
</section> |
</section> |
| 39 |
|
|
| 40 |
|
<section title="FreeBSD Ports"> |
| 41 |
|
<p><i>In preparation</i></p> |
| 42 |
|
</section> |
| 43 |
|
|
| 44 |
<section title="Red Hat Packages"> |
<section title="Red Hat Packages"> |
| 45 |
<p>The following packages where compiled and tested on Linux RedHat 9</p> |
<p>The following packages where compiled and tested on Linux RedHat 9</p> |