[ in Japanese ]
Documents , Download , Specifications , License , cvsweb, Top,

OpenXM HEAD

Welcome to the home page of OpenXM-HEAD

Source Distribution (Download)

  1. HEAD branch is available from our web site: [Source (Shift+Click)].
  2. A snapshot of the head branch can be obtainable from here . It is updated everyday.

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.

FAQ

Questions and Answers (in Enshlish) FAQ.
Questions and Answers (in Japanese) FAQ.

Links

  1. Risa/Asir (Kobe distribution) download page (for unix and windows) [ Asir binary for Windows download and so on ...].
takayama@math.sci.kobe-u.ac.jp