Пакет: coq-hierarchy-builder (1.4.0-6 и други) [debports]
Връзки за coq-hierarchy-builder
Ресурси за Debian:
Изтегляне на пакет-източник .
Няма съвпаденияОтговорници:
Външни препратки:
- Начална страница [github.com]
Подобни пакети:
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) [riscv64]
- build hierarchies of algebraic structures in Coq
- dep: libcoq-hierarchy-builder (= 1.4.0-6+b3) [ppc64]
-
- dep: ocaml-nox
- transitional package for ocaml
Изтегляне на coq-hierarchy-builder
| Архитектура | Версия | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|---|
| ppc64 (неофициална архитектура) | 1.4.0-6+b3 | 605,1 кБ | 2 104,0 кБ | [списък на файловете] |
| riscv64 (неофициална архитектура) | 1.4.0-6 | 604,8 кБ | 2 103,0 кБ | [списък на файловете] |