パッケージ: mona-dbgsym (1.4-18-1 など) [debports]

[ ソース:  ]

debug symbols for mona

その他の mona-dbgsym 関連パッケージ

• dep: mona (= 1.4-18-1) [riscv64 以外]

  オートマトンを基にした定理証明ツール

  dep: mona (= 1.4-18-1+b1) [riscv64]

mona-dbgsym のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード

アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
alpha (非公式の移植版)	1.4-18-1	1,059.3 kB	1,220.0 kB	[ファイル一覧]
hppa (非公式の移植版)	1.4-18-1	1,026.0 kB	1,160.0 kB	[ファイル一覧]
ia64 (非公式の移植版)	1.4-18-1	1,249.9 kB	1,411.0 kB	[ファイル一覧]
m68k (非公式の移植版)	1.4-18-1	905.4 kB	1,032.0 kB	[ファイル一覧]
ppc64 (非公式の移植版)	1.4-18-1	1,062.2 kB	1,246.0 kB	[ファイル一覧]
riscv64 (非公式の移植版)	1.4-18-1+b1	1,009.1 kB	1,189.0 kB	[ファイル一覧]
sh4 (非公式の移植版)	1.4-18-1	942.2 kB	1,107.0 kB	[ファイル一覧]
sparc64 (非公式の移植版)	1.4-18-1	1,002.1 kB	1,167.0 kB	[ファイル一覧]
x32 (非公式の移植版)	1.4-18-1	1,037.4 kB	1,176.0 kB	[ファイル一覧]