=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.64 retrieving revision 1.76 diff -u -p -r1.64 -r1.76 --- OpenXM/doc/OpenXM-web/index.html 2005/04/15 01:48:56 1.64 +++ 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,7 @@ $OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.63 2005/ Download , Specifications , License , -cvsweb, +cvsweb, Top,

OpenXM HEAD

@@ -27,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. -

    -Getting the latest version (HEAD branch) from -a CVS server -

    +

    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 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
    +

    ERRATA.