=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.69 retrieving revision 1.75 diff -u -p -r1.69 -r1.75 --- OpenXM/doc/OpenXM-web/index.html 2015/02/20 01:15:42 1.69 +++ OpenXM/doc/OpenXM-web/index.html 2021/04/02 06:49:16 1.75 @@ -1,7 +1,7 @@
@@ -15,7 +15,7 @@ $OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.68 2010/ Download , Specifications , License , -cvsweb, +cvsweb, Top,+ deb http://www.math.kobe-u.ac.jp/deb2/ unstable/ + deb http://www.math.kobe-u.ac.jp/deb2/ mathlibre2020/ ++
+ apt-key add mathlibre.pub + apt-key add debian-math.kobe-u.ac.jp.pub ++
+ sudo apt-get update + sudo apt-get install openxm ++