Pacote: libcoq-mtac2-dbgsym (1.4+8.19-2 e outros) [debports]

[ Fonte:  ]

debug symbols for libcoq-mtac2

Outros pacotes relacionados a libcoq-mtac2-dbgsym

• dep: libcoq-mtac2 (= 1.4+8.17-1+b1) [riscv64]

  Mtac2 tactic language for Coq

  dep: libcoq-mtac2 (= 1.4+8.19-2) [não riscv64]

Download de libcoq-mtac2-dbgsym

Baixe para todas as arquiteturas disponíveis

Arquitetura	Versão	Tamanho do pacote	Tamanho instalado	Arquivos
loong64 (porte não oficial)	1.4+8.19-2	34.3 kB	120.0 kB	[lista de arquivos]
ppc64 (porte não oficial)	1.4+8.19-2	32.9 kB	134.0 kB	[lista de arquivos]
riscv64 (porte não oficial)	1.4+8.17-1+b1	28.9 kB	102.0 kB	[lista de arquivos]