[ bookworm ] [ trixie ] [ forky ] [ sid ]

[ Източник: coq-hierarchy-builder ]

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

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

Ресурси за Debian:

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

Отговорници:

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

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

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

build hierarchies of algebraic structures in Coq

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

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

зависимости

препоръчани

предложени

enhances

dep: libcoq-elpi-w5ju1

виртуален пакет, предлаган от libcoq-elpi

rec: ocaml-findlib

management tool for OCaml libraries

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

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	1.8.1-1+b4	537,9 кБ	1 667,0 кБ	[списък на файловете]