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

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

build hierarchies of algebraic structures in Coq (tool)

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

This package provides the command-line tool.

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

• dep: libcoq-hierarchy-builder (= 1.4.0-6+b3) [ppc64]

  build hierarchies of algebraic structures in Coq (runtime files)

  dep: libcoq-hierarchy-builder (= 1.6.0-1+b2) [не ppc64]

• dep: ocaml [не ppc64]

  ML language implementation with a class-based object system

• dep: ocaml-nox [ppc64]

  transitional package for ocaml

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

Изтегляне за всички налични архитектури

Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	1.6.0-1+b2	646,8 кБ	2 240,0 кБ	[списък на файловете]
arm64	1.6.0-1+b2	646,6 кБ	2 240,0 кБ	[списък на файловете]
armhf	1.6.0-1+b2	646,3 кБ	2 240,0 кБ	[списък на файловете]
i386	1.6.0-1+b2	646,6 кБ	2 240,0 кБ	[списък на файловете]
ppc64 (неофициална архитектура)	1.4.0-6+b3	605,1 кБ	2 104,0 кБ	[списък на файловете]
ppc64el	1.6.0-1+b2	646,4 кБ	2 240,0 кБ	[списък на файловете]
riscv64	1.6.0-1+b2	646,6 кБ	2 240,0 кБ	[списък на файловете]
s390x	1.6.0-1+b2	646,5 кБ	2 240,0 кБ	[списък на файловете]