Commit 7bd1d2e4 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-07-05 00:30:47 by cvscast] Empty log message

Original author: cvscast
Date: 2003-07-05 00:30:47+00:00
parent ad27b5ab
...@@ -25,7 +25,19 @@ The installation of CDuce rpm package needs the following packages:</p> ...@@ -25,7 +25,19 @@ The installation of CDuce rpm package needs the following packages:</p>
already installed but not via rpm then install CDuce by </p> already installed but not via rpm then install CDuce by </p>
<p><code>rpm -Uvh {{--nodeps}} cduce-X.X.X-X.i386.rpm</code></p> <p><code>rpm -Uvh {{--nodeps}} cduce-X.X.X-X.i386.rpm</code></p>
<p> <p>
You can retrive tarballs for the needed packages as follows You can retrive tarballs for the needed packages at the follwoing URLs:</p>
</p> <ul>
<li>ocaml <br/>
http://caml.inria.fr/ocaml/distrib.html</li>
<li>findlib <br/>
http://www.ocaml-programming.de/packages</li>
<li>pcre-ocaml <br/>
http://www.ai.univie.ac.at/~markus/home/ocaml_sources.html</li>
<li>ocamlnet <br/>
http://sourceforge.net/projects/ocamlnet</li>
<li>pxp<br/>
http://www.ocaml-programming.de/packages/documentation/pxp/index_dev.html</li>
</ul>
</box> </box>
</page> </page>
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment