=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-web/index.html,v retrieving revision 1.68 retrieving revision 1.76 diff -u -p -r1.68 -r1.76 --- OpenXM/doc/OpenXM-web/index.html 2010/05/27 05:25:33 1.68 +++ OpenXM/doc/OpenXM-web/index.html 2022/03/28 10:33:48 1.76 @@ -1,7 +1,7 @@
@@ -15,7 +15,7 @@ $OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.67 2010/ Download , Specifications , License , -cvsweb, +cvsweb, Top,+deb [signed-by=/usr/share/keyrings/fe-deb2-archive-keyring.gpg] http://www.math.kobe-u.ac.jp/deb2/ unstable/ +deb [signed-by=/usr/share/keyrings/fe-deb2-archive-keyring.gpg] http://www.math.kobe-u.ac.jp/deb2/ mathlibre2020/ ++under /etc/apt/sources.list.d +
+sudo cp fe-deb2-archive-keyring.gpg /usr/share/keyrings ++
+ sudo apt update + sudo apt install openxm ++
+sudo wget -O /etc/apt/sources.list.d/fe-deb2.list http://www.math.kobe-u.ac.jp/deb2/fe-deb2.list +sudo wget -O /usr/share/keyrings/fe-deb2-archive-keyring.gpg http://www.math.kobe-u.ac.jp/deb2/fe-deb2-archive-keyring.gpg +sudo apt update +sudo apt install openxm +