[ in Japanese ]
Documents ,
Download ,
Specifications ,
License ,
cvsweb,
Top,
OpenXM HEAD
Welcome to the home page of OpenXM-HEAD
Source Distribution (Download)
- 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.
Debian package for amd64
- 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/
- 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
-
sudo apt-get update
sudo apt-get install openxm
FAQ
Questions and Answers (in Enshlish) FAQ.
Questions and Answers (in Japanese) FAQ.
Links
- 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