Pacote: libcoq-unicoq-dbgsym (1.6-8.19-2 e outros) [debports]

[ Fonte:  ]

debug symbols for libcoq-unicoq

Outros pacotes relacionados a libcoq-unicoq-dbgsym

• dep: libcoq-unicoq (= 1.6-8.17-1+b2) [riscv64]

  enhanced unification algorithm for Coq

  dep: libcoq-unicoq (= 1.6-8.19-2) [não riscv64]

Download de libcoq-unicoq-dbgsym

Baixe para todas as arquiteturas disponíveis

Arquitetura	Versão	Tamanho do pacote	Tamanho instalado	Arquivos
loong64 (porte não oficial)	1.6-8.19-2	20.5 kB	72.0 kB	[lista de arquivos]
ppc64 (porte não oficial)	1.6-8.19-2	19.7 kB	80.0 kB	[lista de arquivos]
riscv64 (porte não oficial)	1.6-8.17-1+b2	17.5 kB	61.0 kB	[lista de arquivos]