=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.72 retrieving revision 1.75 diff -u -p -r1.72 -r1.75 --- OpenXM/doc/OpenXM-web/index.html 2020/10/04 10:39:41 1.72 +++ OpenXM/doc/OpenXM-web/index.html 2021/04/02 06:49:16 1.75 @@ -1,7 +1,7 @@ @@ -27,16 +27,12 @@ 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: [Source (Shift+Click)].
  2. A snapshot of the head branch can be obtainable from - here . + here . It is updated everyday.
@@ -44,6 +40,27 @@ It is updated everyday.
  • Installation guide in English
  • Installation guide in Japanse + +

    Debian package for amd64

    +
      +
    1. Add the following to /etc/apt/sources.list +
      +  deb http://www.math.kobe-u.ac.jp/deb2/ unstable/
+  deb http://www.math.kobe-u.ac.jp/deb2/ mathlibre2020/
+
      +
    2.  Add our keys to your system.
+The keys are at 
+  http://www.math.kobe-u.ac.jp/deb2/pub-keys 
+
      +   apt-key add mathlibre.pub
+   apt-key add debian-math.kobe-u.ac.jp.pub
+
      
+
    3. 
+
      +    sudo apt-get update
+    sudo apt-get install openxm
+
      
+

    ERRATA.