Pacote: libcoq-bignums-dbgsym (9.0.0+coq8.20-1 e outros) [debports]

[ Fonte:  ]

debug symbols for libcoq-bignums

Outros pacotes relacionados a libcoq-bignums-dbgsym

• dep: libcoq-bignums (= 8.17.0-3+b2) [riscv64]

  Coq library for big numbers

  dep: libcoq-bignums (= 9.0.0+coq8.20-1+b1) [não riscv64]

Download de libcoq-bignums-dbgsym

Baixe para todas as arquiteturas disponíveis

Arquitetura	Versão	Tamanho do pacote	Tamanho instalado	Arquivos
loong64 (porte não oficial)	9.0.0+coq8.20-1+b1	3.7 kB	24.0 kB	[lista de arquivos]
ppc64 (porte não oficial)	9.0.0+coq8.20-1+b1	3.9 kB	26.0 kB	[lista de arquivos]
riscv64 (porte não oficial)	8.17.0-3+b2	3.5 kB	24.0 kB	[lista de arquivos]