todas as opções
bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Fonte: coq-dpdgraph  ]

Pacote: libcoq-dpdgraph (1.0+8.20-1 e outros)

Links para libcoq-dpdgraph

Screenshot

Recursos de Debian:

Baixe o pacote-fonte coq-dpdgraph:

Mantenedores(as):

Fontes externas:

Pacotes similares:

Coq plugin to extract dependencies between Coq objects

This package provides a plugin for Coq to extract dependencies between Coq objects and produce files with dependency information.

Coq is a proof assistant for higher-order logic.

This package provides the Coq plugin itself.

Outros pacotes relacionados a libcoq-dpdgraph

  • depende
  • recomenda
  • sugere
  • melhora

Download de libcoq-dpdgraph

Baixe para todas as arquiteturas disponíveis
Arquitetura Versão Tamanho do pacote Tamanho instalado Arquivos
amd64 1.0+8.20-1+b4 36.0 kB253.0 kB [lista de arquivos]
arm64 1.0+8.20-1+b4 37.1 kB269.0 kB [lista de arquivos]
ppc64el 1.0+8.20-1+b4 36.3 kB269.0 kB [lista de arquivos]
riscv64 1.0+8.20-1+b4 36.6 kB245.0 kB [lista de arquivos]
s390x 1.0+8.20-1+b4 36.1 kB253.0 kB [lista de arquivos]