/[svn]/web/download.xml
ViewVC logotype

Diff of /web/download.xml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 948 by abate, Tue Jul 10 18:13:11 2007 UTC revision 956 by abate, Tue Jul 10 18:13:56 2007 UTC
# Line 123  Line 123 
123  </p>  </p>
124  </section>  </section>
125    
126    <section title="Gentoo packages">
127    <p>
128    Julien Demouth provides some information and ebuilds to
129    <a href="http://www.ie2.u-psud.fr/~jdemouth/cduce.xml.html">install
130    CDuce on a Gentoo Linux box</a>.
131    </p>
132    </section>
133    
134  <section title="Windows">  <section title="Windows">
135  <p>Compile the sources by following the instructions of the  <p>Compile the sources by following the instructions of the
136  file  <a href="INSTALL.WIN32">INSTALL.WIN32</a> included in the distribution.</p>  file  <a href="INSTALL.WIN32">INSTALL.WIN32</a> included in the distribution.</p>
Legend:
Removed from v.948  
changed lines
  Added in v.956
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5