Search in specific suite: [ecne] [ecne-updates] [ecne-security] [ecne-backports] [aramo] [aramo-updates] [aramo-security] [aramo-backports]
Limit search to a specific architecture: [i386] [amd64] [armhf] [arm64] [ppc64el] [riscv64]
Търсене за пакети, чиито имена съдържат coq-hierarchy-builder в всички дистрибуции, всички раздели и всички архитектури. Намерени са 2 пакета.
Точни попадения
Пакет coq-hierarchy-builder
- aramo (ocaml):
build hierarchies of algebraic structures in Coq (tool)
1.2.1-2: amd64 arm64 armhf ppc64el
Други резултати
Пакет libcoq-hierarchy-builder
- aramo (ocaml):
build hierarchies of algebraic structures in Coq (runtime files)
1.2.1-2: amd64 arm64 armhf ppc64el