Pacote: coqide-dbgsym (8.19.1+dfsg-3 e outros) [debports]

[ Fonte:  ]

debug symbols for coqide

Outros pacotes relacionados a coqide-dbgsym

• dep: coqide (= 8.17.0+dfsg-1+b2) [riscv64]

  assistente de prova para lógica de ordem superior (interface gtk)

  dep: coqide (= 8.19.1+dfsg-3) [não riscv64]

Download de coqide-dbgsym

Baixe para todas as arquiteturas disponíveis

Arquitetura	Versão	Tamanho do pacote	Tamanho instalado	Arquivos
loong64 (porte não oficial)	8.19.1+dfsg-3	652.0 kB	2,722.0 kB	[lista de arquivos]
ppc64 (porte não oficial)	8.19.1+dfsg-3	627.7 kB	2,828.0 kB	[lista de arquivos]
riscv64 (porte não oficial)	8.17.0+dfsg-1+b2	641.2 kB	2,701.0 kB	[lista de arquivos]