===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v
retrieving revision 1.70
retrieving revision 1.75
diff -u -p -r1.70 -r1.75
--- OpenXM/doc/OpenXM-web/index.html	2015/07/28 06:41:25	1.70
+++ OpenXM/doc/OpenXM-web/index.html	2021/04/02 06:49:16	1.75
@@ -1,7 +1,7 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
 <HTML>
 <!--
-$OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.69 2015/02/20 01:15:42 takayama Exp $
+$OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.74 2021/03/29 08:03:43 takayama Exp $
 -->
 <HEAD>
 <LINK REV=MADE HREF="mailto:openxm2005@math(ematics).sci.kobe-u.ac.jp">
@@ -27,11 +27,12 @@ Welcome to the home page of OpenXM-HEAD <img src="../S
 
 <H2>Source Distribution (Download) </H2>
 
+
 <OL>
 <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>.
+<a href="http://air.s.kanazawa-u.ac.jp/~ohara/software.html"> here </a>.
 It is updated everyday.
 </OL>
 
@@ -40,10 +41,26 @@ It is updated everyday.
 <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
+    sudo apt-get install openxm
+</pre>
+</ol>
 
 <H2>
 <A HREF="ERRATA.html">ERRATA</A>.
