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

Pacote: libcoq-hierarchy-builder (1.8.1-1 e outros)

Links para libcoq-hierarchy-builder

Screenshot

Recursos de Debian:

Baixe o pacote-fonte coq-hierarchy-builder:

Mantenedores(as):

Fontes externas:

Pacotes similares:

build hierarchies of algebraic structures in Coq

This software provides high-level commands to build hierarchies of algebraic structures in the Coq system.

Outros pacotes relacionados a libcoq-hierarchy-builder

  • depende
  • recomenda
  • sugere
  • melhora

Download de libcoq-hierarchy-builder

Baixe para todas as arquiteturas disponíveis
Arquitetura Versão Tamanho do pacote Tamanho instalado Arquivos
amd64 1.8.1-1+b4 537.9 kB1,667.0 kB [lista de arquivos]
arm64 1.8.1-1+b4 538.1 kB1,667.0 kB [lista de arquivos]
ppc64el 1.8.1-1+b4 535.7 kB1,667.0 kB [lista de arquivos]
riscv64 1.8.1-1+b3 538.1 kB1,667.0 kB [lista de arquivos]
s390x 1.8.1-1+b4 538.0 kB1,667.0 kB [lista de arquivos]