Pacote: eprover-dbgsym (3.2.5+ds-1 e outros) [debports]

[ Fonte:  ]

debug symbols for eprover

Outros pacotes relacionados a eprover-dbgsym

• dep: eprover (= 2.6+ds-3+b1) [riscv64]

  Equational theorem prover

  dep: eprover (= 3.0.03+ds-1) [ia64]

  dep: eprover (= 3.2.5+ds-1) [não ia64, riscv64]

Download de eprover-dbgsym

Baixe para todas as arquiteturas disponíveis

Arquitetura	Versão	Tamanho do pacote	Tamanho instalado	Arquivos
alpha (porte não oficial)	3.2.5+ds-1	138.1 kB	901.0 kB	[lista de arquivos]
hppa (porte não oficial)	3.2.5+ds-1	136.3 kB	749.0 kB	[lista de arquivos]
ia64 (porte não oficial)	3.0.03+ds-1	181.9 kB	1,224.0 kB	[lista de arquivos]
loong64 (porte não oficial)	3.2.5+ds-1	140.4 kB	918.0 kB	[lista de arquivos]
m68k (porte não oficial)	3.2.5+ds-1	134.6 kB	743.0 kB	[lista de arquivos]
ppc64 (porte não oficial)	3.2.5+ds-1	121.7 kB	971.0 kB	[lista de arquivos]
riscv64 (porte não oficial)	2.6+ds-3+b1	115.6 kB	774.0 kB	[lista de arquivos]
sh4 (porte não oficial)	3.2.5+ds-1	139.2 kB	1,849.0 kB	[lista de arquivos]
sparc64 (porte não oficial)	3.2.5+ds-1	136.1 kB	918.0 kB	[lista de arquivos]
x32 (porte não oficial)	3.2.5+ds-1	131.4 kB	741.0 kB	[lista de arquivos]