Пакет: coq-hierarchy-builder (1.2.1-2)

Връзки за coq-hierarchy-builder

Ресурси за Trisquel:

• Install using apturl
• Entry at directory.fsf.org
• Доклади за грешки
• Changelog
• Авторски права

Изтегляне на пакет-източник coq-hierarchy-builder.

• [coq-hierarchy-builder_1.2.1-2.dsc]
• [coq-hierarchy-builder_1.2.1.orig.tar.gz]
• [coq-hierarchy-builder_1.2.1-2.debian.tar.xz]

Отговорник:

• Debian OCaml Maintainers (Пощенски архив)

Original Maintainers:

• Debian OCaml Maintainers (Пощенски архив)
• Julien Puydt

Външни препратки:

• Начална страница [github.com]

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

• regina-normal
• libcoq-mathcomp-field
• coq
• libcoq-mathcomp-algebra
• gap-polymaking
• libcoq-elpi-ocaml
• libcoq-elpi-ocaml-dev
• libssreflect-coq
• libcoq-mathcomp
• agda-stdlib
• libcoq-mathcomp-character

Други пакети, свързани с coq-hierarchy-builder

• dep: libcoq-hierarchy-builder (= 1.2.1-2)

  build hierarchies of algebraic structures in Coq (runtime files)

• dep: ocaml-nox

  transitional package for ocaml

Изтегляне на coq-hierarchy-builder