[ bookworm ] [ trixie ] [ sid ]

[ Source: coq-hierarchy-builder ]

Package: coq-hierarchy-builder (1.4.0-2 and others)

Links for coq-hierarchy-builder

Debian Resources:

Download Source Package coq-hierarchy-builder:

Maintainers:

External Resources:

Homepage [github.com]

Similar packages:

build hierarchies of algebraic structures in Coq (tool)

Other Packages Related to coq-hierarchy-builder

depends

recommends

suggests

enhances

dep: libcoq-hierarchy-builder (= 1.4.0-2+b6)

build hierarchies of algebraic structures in Coq (runtime files)
dep: ocaml-nox

transitional package for ocaml

Download coq-hierarchy-builder

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
arm64	1.4.0-2+b6	604.9 kB	2,104.0 kB	[list of files]