DebianでのRisa/Asirインストール

Debianパッケージ情報を /etc/apt/sources.list.d/ にファイルとして保存

• Debian package for amd64

$ sudo vim /etc/apt/sources.list.d/asir.list
$ sudo cat /etc/apt/sources.list.d/asir.list
deb http://www.math.kobe-u.ac.jp/deb2/ unstable/
deb http://www.math.kobe-u.ac.jp/deb2/ mathlibre2020/

• Debian package for amd64
  • 上記URLにある公開鍵をDLして~/Downloads以下に保存する想定

$ sudo apt-key add ~/Downloads/mathlibre.pub 
$ sudo apt-key add ~/Downloads/debian-math.kobe-u.ac.jp.pub 

$ sudo apt-get update
$ sudo apt-get install openxm

起動!

$ asir
This is Risa/Asir, full GMP Version 20210326 (Kobe Distribution).
Copyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES LIMITED.
Copyright 2000-2021, Risa/Asir committers, http://www.openxm.org/.
GC 7.6.12 copyright 1988-2018, H-J. Boehm, A. J. Demers, Xerox, SGI, HP, I. Maidanski.
Debug windows of ox servers will not be opened. Set Xm_noX=0 to open it.
OpenXM/Risa/Asir-Contrib $Revision: 1.157 $ (20200320), Copyright 2000-2019, OpenXM.org committers
helph(); [html help], ox_help(0); ox_help("keyword"); ox_grep("keyword");
     for help messages (unix version only).
http://www.math.kobe-u.ac.jp/OpenXM/Current/doc/index-doc.html