===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index-ja.html,v
retrieving revision 1.12
retrieving revision 1.15
diff -u -p -r1.12 -r1.15
--- OpenXM/doc/OpenXM-web/index-ja.html	2020/11/24 11:46:00	1.12
+++ OpenXM/doc/OpenXM-web/index-ja.html	2022/03/28 10:33:48	1.15
@@ -1,7 +1,7 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//JA">
 <HTML>
 <!--
-$OpenXM: OpenXM/doc/OpenXM-web/index-ja.html,v 1.11 2020/10/04 10:39:41 takayama Exp $
+$OpenXM: OpenXM/doc/OpenXM-web/index-ja.html,v 1.14 2021/04/02 06:49:16 takayama Exp $
 -->
 <HEAD>
 <LINK REV=MADE HREF="mailto:openxm2005@math(ematics).sci.kobe-u.ac.jp">
@@ -27,10 +27,6 @@ OpenXM-HEAD <img src="../Stable/logo-openxm5.jpg"> $B
 
 <H2>$B%=!<%9$N%@%&%s%m!<%I(B </H2>
 
-<font color="red">
-2020.10.04: MacOS X, xcode $B$N(B version $B$O(B 12 $BL$K~$NI,MW$"$j(B.
-</font>
-<br>
 
 <OL>
 <LI> HEAD branch is available from our web site:
@@ -44,6 +40,35 @@ OpenXM-HEAD <img src="../Stable/logo-openxm5.jpg"> $B
 <li> <a href="install-en.txt"> Installation guide in English </a>
 <li> <a href="install-ja.txt"> $BF|K\8l$N%$%s%9%H!<%k%,%$%I(B </a>
 </ul>
+
+<h2 id="apt"> Debian package for amd64</h2>
+<ol>
+<li> $B0J2<$r=q$$$?%U%!%$%k(B fe-deb2.list $B$r(B /etc/apt/sources.list.d $B$X2C$($k(B.
+<pre>
+deb [signed-by=/usr/share/keyrings/fe-deb2-archive-keyring.gpg] http://www.math.kobe-u.ac.jp/deb2/ unstable/
+deb [signed-by=/usr/share/keyrings/fe-deb2-archive-keyring.gpg] http://www.math.kobe-u.ac.jp/deb2/ mathlibre2020/
+<pre>
+<li> gpg public key $B$r%@%&%s%m!<%I(B.
+keys $B$O(B <a href="http://www.math.kobe-u.ac.jp/deb2/fe-deb2-archive-keyring.gpg">
+   http://www.math.kobe-u.ac.jp/deb2/fe-deb2-archive-keyring.gpg </a>
+$B$K$"$j(B. $B$3$N%U%!%$%k$r(B /usr/share/keyrings $B$X%3%T!<(B.
+<pre>
+sudo cp fe-deb2-archive-keyring.gpg /usr/share/keyrings
+</pre>
+<li>
+<pre>
+    sudo apt update
+    sudo apt install openxm
+</pre>
+</ol>
+
+$B0J>e$r$^$H$a$F%3%^%s%I$G9T$&$K$O(B
+<pre>
+sudo wget -O /etc/apt/sources.list.d/fe-deb2.list http://www.math.kobe-u.ac.jp/deb2/fe-deb2.list
+sudo wget -O /usr/share/keyrings/fe-deb2-archive-keyring.gpg  http://www.math.kobe-u.ac.jp/deb2/fe-deb2-archive-keyring.gpg
+sudo apt update
+sudo apt install openxm
+</pre>
 
 
 <H2>
