=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.65 retrieving revision 1.74 diff -u -p -r1.65 -r1.74 --- OpenXM/doc/OpenXM-web/index.html 2005/06/22 21:27:59 1.65 +++ OpenXM/doc/OpenXM-web/index.html 2021/03/29 08:03:43 1.74 @@ -1,7 +1,7 @@ @@ -15,7 +15,7 @@ $OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.64 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 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
      +
      +

    ERRATA.