=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index-ja.html,v retrieving revision 1.10 retrieving revision 1.14 diff -u -p -r1.10 -r1.14 --- OpenXM/doc/OpenXM-web/index-ja.html 2020/03/14 02:25:07 1.10 +++ OpenXM/doc/OpenXM-web/index-ja.html 2021/04/02 06:49:16 1.14 @@ -1,7 +1,7 @@
@@ -27,11 +27,12 @@ OpenXM-HEAD $B+ deb http://www.math.kobe-u.ac.jp/deb2/ unstable/ + deb http://www.math.kobe-u.ac.jp/deb2/ mathlibre2020/ ++
+ sudo apt-key add mathlibre.pub + sudo apt-key add debian-math.kobe-u.ac.jp.pub ++
+ sudo apt-get update + sudo apt-get install openxm ++