Pacote: libcvc5parser1-dbgsym (1.1.2-2 e outros) [debports]

[ Fonte:  ]

debug symbols for libcvc5parser1

Outros pacotes relacionados a libcvc5parser1-dbgsym

• dep: libcvc5parser1 (= 1.0.5-3) [riscv64]

  automated theorem prover for SMT problems (parser runtime)

  dep: libcvc5parser1 (= 1.1.2-2+b3) [não riscv64]

Download de libcvc5parser1-dbgsym

Baixe para todas as arquiteturas disponíveis

Arquitetura	Versão	Tamanho do pacote	Tamanho instalado	Arquivos
alpha (porte não oficial)	1.1.2-2+b3	3,953.1 kB	4,123.0 kB	[lista de arquivos]
hppa (porte não oficial)	1.1.2-2+b3	3,846.2 kB	4,005.0 kB	[lista de arquivos]
loong64 (porte não oficial)	1.1.2-2+b3	3,937.9 kB	4,111.0 kB	[lista de arquivos]
m68k (porte não oficial)	1.1.2-2+b3	3,396.8 kB	3,541.0 kB	[lista de arquivos]
ppc64 (porte não oficial)	1.1.2-2+b3	3,956.5 kB	4,153.0 kB	[lista de arquivos]
riscv64 (porte não oficial)	1.0.5-3	4,881.4 kB	5,226.0 kB	[lista de arquivos]
sparc64 (porte não oficial)	1.1.2-2+b3	3,827.8 kB	4,004.0 kB	[lista de arquivos]
x32 (porte não oficial)	1.1.2-2+b3	3,929.4 kB	4,111.0 kB	[lista de arquivos]