===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v
retrieving revision 1.66
retrieving revision 1.74
diff -u -p -r1.66 -r1.74
--- OpenXM/doc/OpenXM-web/index.html	2007/10/15 03:03:55	1.66
+++ OpenXM/doc/OpenXM-web/index.html	2021/03/29 08:03:43	1.74
@@ -1,7 +1,7 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
 <HTML>
 <!--
-$OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.65 2005/06/22 21:27:59 takayama Exp $
+$OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.73 2020/11/24 11:46:00 takayama Exp $
 -->
 <HEAD>
 <LINK REV=MADE HREF="mailto:openxm2005@math(ematics).sci.kobe-u.ac.jp">
@@ -15,7 +15,7 @@ $OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.65 2005/
 <a href="index.html"> Download </a>,
 <a href="index-spec.html"> Specifications </a>,
 <a href="doc/index-license.html"> License </a>,
-<a href="http://www.math.sci.kobe-u.ac.jp/cgi/cvsweb.cgi/">cvsweb</a>,
+<a href="http://c1.math.kobe-u.ac.jp/cgi-bin/cvsweb.cgi/">cvsweb</a>,
 <a href="http://www.math.sci.kobe-u.ac.jp/OpenXM/index.html">Top</a>,
 
 <H1>OpenXM HEAD </H1>
@@ -27,9 +27,13 @@ Welcome to the home page of OpenXM-HEAD <img src="../S
 
 <H2>Source Distribution (Download) </H2>
 
+
 <OL>
-<LI> HEAD branch is available from our ftp site:
-[<A HREF="ftp://ftp.math.sci.kobe-u.ac.jp/pub/OpenXM/Head/openxm-head.tar.gz">Source (Shift+Click)</A>].
+<LI> HEAD branch is available from our web site:
+[<A HREF="http://www.math.sci.kobe-u.ac.jp/pub/OpenXM/Head/openxm-head.tar.gz">Source (Shift+Click)</A>].
+<li> A snapshot of the head branch can be obtainable from
+<a href="http://air.s.kanazawa-u.ac.jp/~ohara/software.html"> here </a>.
+It is updated everyday.
 </OL>
 
 <ul>
@@ -37,10 +41,25 @@ Welcome to the home page of OpenXM-HEAD <img src="../S
 <li> <a href="install-ja.txt"> Installation guide in Japanse </a>
 </ul>
 
-<H2>
-Getting the latest version (HEAD branch) from <a href="anonymous.html">
-a CVS server </a> 
-</H2>
+<h2 id="apt"> Debian package for amd64</h2>
+<ol>
+<li> Add the following to /etc/apt/sources.list
+<pre>
+  deb http://www.math.kobe-u.ac.jp/deb2/ unstable/
+  deb http://www.math.kobe-u.ac.jp/deb2/ mathlibre2020/
+<pre>
+<li> Add our keys to your system.
+The keys are at <a href="http://www.math.kobe-u.ac.jp/deb2/pub-keys">
+  http://www.math.kobe-u.ac.jp/deb2/pub-keys </a>
+<pre>
+   apt-key add mathlibre.pub
+   apt-key add debian-math.kobe-u.ac.jp.pub
+</pre>
+<li>
+<pre>
+    sudo apt-get update
+</pre>
+</ol>
 
 <H2>
 <A HREF="ERRATA.html">ERRATA</A>.
