套件：metamath-dbgsym（0.195-1 以及其他的） [debports]

[ 原始碼：  ]

debug symbols for metamath

其他與 metamath-dbgsym 有關的套件

• dep: metamath (= 0.195-1) [除 riscv64]

  Language for mathematical proofs

  dep: metamath (= 0.195-1+b1) [riscv64]

下載 metamath-dbgsym

下載可用於所有硬體架構的

硬體架構	版本	套件大小	安裝後大小	檔案
alpha （非官方移植版）	0.195-1	466。6 kB	495。0 kB	[檔案列表]
hppa （非官方移植版）	0.195-1	472。8 kB	497。0 kB	[檔案列表]
ia64 （非官方移植版）	0.195-1	693。8 kB	723。0 kB	[檔案列表]
m68k （非官方移植版）	0.195-1	421。6 kB	444。0 kB	[檔案列表]
ppc64 （非官方移植版）	0.195-1	510。0 kB	541。0 kB	[檔案列表]
riscv64 （非官方移植版）	0.195-1+b1	496。4 kB	526。0 kB	[檔案列表]
sh4 （非官方移植版）	0.195-1	458。4 kB	509。0 kB	[檔案列表]
sparc64 （非官方移植版）	0.195-1	488。9 kB	518。0 kB	[檔案列表]
x32 （非官方移植版）	0.195-1	462。5 kB	485。0 kB	[檔案列表]