[r2003-07-09 09:16:06 by cvscast] zack: added mention of the apt-gettable repository on cduce.org

Original author: cvscast
Date: 2003-07-09 09:16:06+00:00

web/download.xml

@@ -23,7 +23,12 @@ See <a href="CHANGES">recent changes</a>.
 <box title="Packages" link="binary">
 <section title="Debian Package">
 <p>
-A preliminary debian/unstable package of CDuce is available <a href="download/debian/">here</a>.</p>
+  An <b>apt-gettable repository</b> for debian/unstable is available, just add
+  the following line to your <tt>/etc/apt/sources.list</tt>
+</p>
+<p>
+  <a href="http://www.cduce.org/debian/"><tt>deb http://www.cduce.org/ debian/</tt></a>
+</p>
 </section>
 
 <section title="Mac OS X binary">