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

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

build hierarchies of algebraic structures in Coq (tool)

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

• dep: libcoq-hierarchy-builder (= 1.6.0-1+b1)

  build hierarchies of algebraic structures in Coq (runtime files)

• dep: ocaml

  ML language implementation with a class-based object system

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

Загрузить для всех доступных архитектур

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
amd64	1.6.0-1+b1	646,6 Кб	2 240,0 Кб	[список файлов]
arm64	1.6.0-1+b1	646,7 Кб	2 240,0 Кб	[список файлов]
armhf	1.6.0-1+b1	646,5 Кб	2 240,0 Кб	[список файлов]
i386	1.6.0-1+b1	646,6 Кб	2 240,0 Кб	[список файлов]
ppc64el	1.6.0-1+b1	646,4 Кб	2 240,0 Кб	[список файлов]
s390x	1.6.0-1+b1	646,5 Кб	2 240,0 Кб	[список файлов]