===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top.html,v
retrieving revision 1.40
retrieving revision 1.48
diff -u -p -r1.40 -r1.48
--- OpenXM/doc/OpenXM-web/top.html 2021/03/29 08:03:43 1.40
+++ OpenXM/doc/OpenXM-web/top.html 2022/03/28 10:37:48 1.48
@@ -3,6 +3,8 @@
OpenXM (Open message eXchange for Mathematics)
+
+
@@ -13,6 +15,7 @@
License ,
Video ,
cvsweb,
+ Data archive ,
Top ,
@@ -26,14 +29,12 @@
The News
-- Debian package openxm-1.3.3-4 (network installer, 64bit) can be installed
-by apt by adding our openxm repository to /etc/apt/sources.list.
+
- March 4, 2022. Debian package openxm-1.3.3-6 (network installer, 64bit) can be installed
+by apt by adding our openxm repository to /etc/apt/sources.list.d.
See here as to details.
If you prefer to install by dpkg, please download the deb package from
here .
- Please read readme-en.html
- in the directory. Risa/Asir is upgraded to asir2018 from asir2000.
- (March 29, 2021. openxm-1.3.3-4)
+
- A workaround of a segmentation fault of Risa/Asir on M1 Mac.
- News Archive
@@ -115,7 +116,7 @@ openxm2005@math.Xkobe-u.Xac.Xjp (please replace ".X"
-$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.39 2019/06/12 23:02:37 takayama Exp $
+$OpenXM: OpenXM/doc/OpenXM-web/top.html,v 1.47 2022/03/26 00:18:23 takayama Exp $