Debian package of opexm can be obtained from
here .
Please read Readme.txt in the directory. Note that the package openxm should
be updated explicitly (apt-get update will not work properly), i.e.,
dpkg --purge openxm
apt-get install openxm
(Aug 28, 2007)
New packages in asir-contrib: y_prime (prime number test, etc),
fj_curve (the dual graph of the resolution of singularity of curves),
nk_mora (tangent cone algorithm for D, local b-function) (Nov 11, 2005).
InftyEditor(Math editor with OCR and handwriting interface) plugin for OpenXM (February 18, 2005) Download