[ bookworm ] [ trixie ] [ forky ] [ sid ]

[ Source: ]

Package: libcoq-hierarchy-builder (1.7.0-2 and others) [debports]

Links for libcoq-hierarchy-builder

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

External Resources:

Homepage [github.com]

Similar packages:

build hierarchies of algebraic structures in Coq

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

Other Packages Related to libcoq-hierarchy-builder

depends

recommends

suggests

enhances

dep: libcoq-elpi-jr5g6

virtual package provided by libcoq-elpi

rec: ocaml-findlib

management tool for OCaml libraries

Download libcoq-hierarchy-builder

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
loong64 (unofficial port)	1.7.0-2+b1	258.3 kB	756.0 kB	[list of files]