===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v
retrieving revision 1.63
retrieving revision 1.76
diff -u -p -r1.63 -r1.76
--- OpenXM/doc/OpenXM-web/index.html 2005/04/14 11:18:04 1.63
+++ OpenXM/doc/OpenXM-web/index.html 2022/03/28 10:33:48 1.76
@@ -1,10 +1,10 @@
-
+
OpenXM (Open message eXchange for Mathematics)
@@ -15,7 +15,8 @@ $OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.62 2005/
Download ,
Specifications ,
License ,
-cvsweb,
+cvsweb,
+Top,
OpenXM HEAD
@@ -26,11 +27,13 @@ Welcome to the home page of OpenXM-HEAD Source (Shift+Click)].
- Semi-HEAD branch is available from our ftp site:
-[Source (Shift+Click)].
+ HEAD branch is available from our web site:
+[Source (Shift+Click)].
+ A snapshot of the head branch can be obtainable from
+ here .
+It is updated everyday.
@@ -38,10 +41,36 @@ Welcome to the home page of OpenXM-HEAD Installation guide in Japanse
-
-Getting the latest version (HEAD branch) from
-a CVS server
-
+ Debian package for amd64
+
+- Add the file fe-deb2.list of which contents are
+
+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/
+
+under /etc/apt/sources.list.d
+
- Add our gpg public key to your system.
+The key is at
+ http://www.math.kobe-u.ac.jp/deb2/fe-deb2-archive-keyring.gpg
+Copy this file to /usr/share/keyrings by
+
+sudo cp fe-deb2-archive-keyring.gpg /usr/share/keyrings
+
+ -
+
+ sudo apt update
+ sudo apt install openxm
+
+
+
+
+The following commands execute the above instruction.
+
+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
+