version 1.74, 2021/03/29 08:03:43 |
version 1.77, 2022/03/28 23:50:00 |
|
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN"> |
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN"> |
<HTML> |
<HTML> |
<!-- |
<!-- |
$OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.73 2020/11/24 11:46:00 takayama Exp $ |
$OpenXM: OpenXM/doc/OpenXM-web/index.html,v 1.76 2022/03/28 10:33:48 takayama Exp $ |
--> |
--> |
<HEAD> |
<HEAD> |
<LINK REV=MADE HREF="mailto:openxm2005@math(ematics).sci.kobe-u.ac.jp"> |
<LINK REV=MADE HREF="mailto:openxm2005@math(ematics).sci.kobe-u.ac.jp"> |
Line 43 It is updated everyday. |
|
Line 43 It is updated everyday. |
|
|
|
<h2 id="apt"> Debian package for amd64</h2> |
<h2 id="apt"> Debian package for amd64</h2> |
<ol> |
<ol> |
<li> Add the following to /etc/apt/sources.list |
<li> Add the file fe-deb2.list of which contents are |
<pre> |
<pre> |
deb 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/ unstable/ |
deb http://www.math.kobe-u.ac.jp/deb2/ mathlibre2020/ |
deb [signed-by=/usr/share/keyrings/fe-deb2-archive-keyring.gpg] http://www.math.kobe-u.ac.jp/deb2/ mathlibre2020/ |
<pre> |
<pre> |
<li> Add our keys to your system. |
under /etc/apt/sources.list.d |
The keys are at <a href="http://www.math.kobe-u.ac.jp/deb2/pub-keys"> |
<li> Add our gpg public key to your system. |
http://www.math.kobe-u.ac.jp/deb2/pub-keys </a> |
The key is at <a href="http://www.math.kobe-u.ac.jp/deb2/fe-deb2-archive-keyring.gpg"> |
|
http://www.math.kobe-u.ac.jp/deb2/fe-deb2-archive-keyring.gpg </a> |
|
Copy this file to /usr/share/keyrings by |
<pre> |
<pre> |
apt-key add mathlibre.pub |
sudo cp fe-deb2-archive-keyring.gpg /usr/share/keyrings |
apt-key add debian-math.kobe-u.ac.jp.pub |
|
</pre> |
</pre> |
<li> |
<li> |
<pre> |
<pre> |
sudo apt-get update |
sudo apt update |
|
sudo apt install openxm |
</pre> |
</pre> |
</ol> |
</ol> |
|
|
|
|
|
The following commands execute the above instruction. |
|
<pre> |
|
sudo apt update |
|
sudo apt install wget |
|
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 |
|
</pre> |
|
|
|
Note: If you agree with the asir license in advance, do as follows |
|
<pre> |
|
touch /tmp/i-agree-with-asir-license |
|
sudo apt install openxm |
|
rm /tmp/i-agree-with-asir-license |
|
</pre> |
|
|
<H2> |
<H2> |
<A HREF="ERRATA.html">ERRATA</A>. |
<A HREF="ERRATA.html">ERRATA</A>. |