todas as opções
[  bianca  ]
[ Fonte: dh-coq  ]

Pacote: dh-coq (0.14)

Links para dh-coq

Screenshot

Baixe o pacote-fonte dh-coq:

Mantenedores(as):

Pacotes similares:

debhelper tool for Coq-related Debian packages

dh-coq is a tool to help maintain Coq-related Debian packages. It computes checksums to tighten dependencies between them.

Coq is a proof assistant for higher-order logic.

Outros pacotes relacionados a dh-coq

  • depende
  • recomenda
  • sugere
  • melhora

Download de dh-coq

Baixe para todas as arquiteturas disponíveis
Arquitetura Tamanho do pacote Tamanho instalado Arquivos
all 6.8 kB25.0 kB [lista de arquivos]