[ sid ]

[ Fonte: ]

Pacote: quickchick-dbgsym (2.0.3-3) [debports]

Links para quickchick-dbgsym

Recursos de Debian:

Relatórios de bug

Baixe o pacote-fonte :

Não encontrado

Mantenedores(as):

Pacotes similares:

debug symbols for quickchick

Outros pacotes relacionados a quickchick-dbgsym

depende

recomenda

sugere

melhora

dep: quickchick (= 2.0.3-3)

randomized testing framework for Coq (tools)

Download de quickchick-dbgsym

Baixe para todas as arquiteturas disponíveis
Arquitetura	Tamanho do pacote	Tamanho instalado	Arquivos
loong64 (porte não oficial)	109.8 kB	397.0 kB	[lista de arquivos]
ppc64 (porte não oficial)	105.7 kB	407.0 kB	[lista de arquivos]