Pacote: metamath-dbgsym (0.195-1 e outros) [debports]

[ Fonte:  ]

debug symbols for metamath

Outros pacotes relacionados a metamath-dbgsym

• dep: metamath (= 0.195-1) [não riscv64]

  Language for mathematical proofs

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

Download de metamath-dbgsym

Baixe para todas as arquiteturas disponíveis

Arquitetura	Versão	Tamanho do pacote	Tamanho instalado	Arquivos
alpha (porte não oficial)	0.195-1	466.6 kB	495.0 kB	[lista de arquivos]
hppa (porte não oficial)	0.195-1	472.8 kB	497.0 kB	[lista de arquivos]
ia64 (porte não oficial)	0.195-1	693.8 kB	723.0 kB	[lista de arquivos]
loong64 (porte não oficial)	0.195-1	486.4 kB	514.0 kB	[lista de arquivos]
m68k (porte não oficial)	0.195-1	421.6 kB	444.0 kB	[lista de arquivos]
ppc64 (porte não oficial)	0.195-1	510.0 kB	541.0 kB	[lista de arquivos]
riscv64 (porte não oficial)	0.195-1+b1	496.4 kB	526.0 kB	[lista de arquivos]
sh4 (porte não oficial)	0.195-1	458.4 kB	509.0 kB	[lista de arquivos]
sparc64 (porte não oficial)	0.195-1	488.9 kB	518.0 kB	[lista de arquivos]
x32 (porte não oficial)	0.195-1	462.5 kB	485.0 kB	[lista de arquivos]