Balík: libcoq-hierarchy-builder (1.8.1-1 a iné)

Odkazy pre libcoq-hierarchy-builder

• Sledovanie záplat eLxr

Stiahnuť zdrojový balík coq-hierarchy-builder:

• [coq-hierarchy-builder_1.8.1-1.debian.tar.xz]
• [coq-hierarchy-builder_1.8.1-1.dsc]
• [coq-hierarchy-builder_1.8.1.orig.tar.gz]

Správcovia:

• Debian OCaml Maintainers
• Julien Puydt

Externé zdroje:

• Domovská stránka [github.com]

Podobné balíky:

• libcoq-corn
• libcoq-coqeal
• libcoq-mathcomp-field
• libcoq-extructures
• gap-polymaking
• libcoq-mathcomp-algebra
• agda-stdlib
• agda-stdlib-doc
• libcoq-mathcomp
• libcoq-mathcomp-multinomials
• libcoq-mathcomp-character

Ostatné balíky súvisiace s balíkom libcoq-hierarchy-builder

• dep: libcoq-elpi-349k4 [arm64]

  virtuálny balík poskytovaný balíkom libcoq-elpi

• dep: libcoq-elpi-s1x22 [amd64]

  virtuálny balík poskytovaný balíkom libcoq-elpi

• rec: ocaml-findlib

  management tool for OCaml libraries

Stiahnuť libcoq-hierarchy-builder