OpenXM-HEAD ブランチへようこそ
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