Пакет: libcoq-hierarchy-builder (1.8.1-1 и другие)

Ссылки для libcoq-hierarchy-builder

• Отслеживание заплат eLxr

Исходный код 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]

Сопровождающие:

• Debian OCaml Maintainers
• Julien Puydt

Внешние ресурсы:

• Сайт [github.com]

Подобные пакеты:

• 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

Другие пакеты, относящиеся к libcoq-hierarchy-builder

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

  виртуальный пакет, предоставляемый libcoq-elpi

• dep: libcoq-elpi-s1x22 [amd64]

  виртуальный пакет, предоставляемый libcoq-elpi

• rec: ocaml-findlib

  management tool for OCaml libraries

Загрузка libcoq-hierarchy-builder