=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.73 retrieving revision 1.77 diff -u -p -r1.73 -r1.77 --- OpenXM/doc/OpenXM-web/index.html 2020/11/24 11:46:00 1.73 +++ OpenXM/doc/OpenXM-web/index.html 2022/03/28 23:50:00 1.77 @@ -1,7 +1,7 @@ @@ -27,10 +27,6 @@ Welcome to the home page of OpenXM-HEAD -2020.10.04: MacOS X, the version of xcode should be less than 12. - -
  1. HEAD branch is available from our web site: @@ -44,6 +40,46 @@ It is updated everyday.
  2. Installation guide in English
  3. Installation guide in Japanse + +

    Debian package for amd64

    +
      +
    1. 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
+
    2.  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
+
      
+
    3. 
+
      +    sudo apt update
+    sudo apt install openxm
+
      
+
    + + +The following commands execute the above instruction. +
    +sudo apt update
+sudo apt install wget
+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
+
    + +Note: If you agree with the asir license in advance, do as follows +
    +touch /tmp/i-agree-with-asir-license 
+sudo apt install openxm
+rm  /tmp/i-agree-with-asir-license 
+

    ERRATA.