Commit d2430331 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-07-05 23:14:23 by cvscast] Empty log message

Original author: cvscast
Date: 2003-07-05 23:14:23+00:00
parent 4bb47e3e
......@@ -21,11 +21,11 @@ The installation of CDuce rpm package needs the following packages:</p>
<a href="ftp://ftp.altlinux.ru/pub/distributions/ALTLinux/Sisyphus/files/SRPMS">src</a>; European mirror <a href="ftp://ftp.leo.org/pub/altlinux/Sisyphus/files/i586/RPMS/">i586</a>, <a href="ftp://ftp.leo.org/pub/altlinux/Sisyphus/files/SRPMS/">src</a>
</p>
<p>N.B. rpm will check that you installed all these packages. If you have them
<p>N.B. rpm will check the presence of all these packages. If you have them
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>
You can retrive tarballs for the needed packages at the follwoing URLs:</p>
You can retrieve tarballs for the needed packages at the following URLs:</p>
<ul>
<li>ocaml <br/>
http://caml.inria.fr/ocaml/distrib.html</li>
......
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