===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v
retrieving revision 1.63
retrieving revision 1.74
diff -u -p -r1.63 -r1.74
--- OpenXM/doc/OpenXM-web/index.html	2005/04/14 11:18:04	1.63
+++ OpenXM/doc/OpenXM-web/index.html	2021/03/29 08:03:43	1.74
@@ -1,10 +1,10 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
 <HTML>
 <!--
-$OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.62 2005/02/10 13:02:55 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:takayama@math.sci.kobe-u.ac.jp">
+<LINK REV=MADE HREF="mailto:openxm2005@math(ematics).sci.kobe-u.ac.jp">
 <META http-equiv="Content-Type" content="text/html; charset=us-ascii">
 <TITLE>OpenXM (Open message eXchange for Mathematics)</TITLE>
 </HEAD>
@@ -15,7 +15,8 @@ $OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.62 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>
 
@@ -26,11 +27,13 @@ Welcome to the home page of OpenXM-HEAD <img src="../S
 
 <H2>Source Distribution (Download) </H2>
 
+
 <OL>
-<LI> OpenXM 1.2.3
-[<A HREF="ftp://ftp.math.sci.kobe-u.ac.jp/pub/OpenXM/1.2.3/openxm-1.2.3.tar.gz">Source (Shift+Click)</A>].
-<LI> Semi-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>
@@ -38,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>.
