all options
bookworm  ] [  sid  ]
[ Source: coq-hierarchy-builder  ]

Package: libcoq-hierarchy-builder (1.3.0-2 and others)

Links for libcoq-hierarchy-builder

Screenshot

Debian Resources:

Download Source Package coq-hierarchy-builder:

Maintainers:

External Resources:

Similar packages:

build hierarchies of algebraic structures in Coq (runtime files)

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

This package provides the runtime files.

Other Packages Related to libcoq-hierarchy-builder

  • depends
  • recommends
  • suggests
  • enhances

Download libcoq-hierarchy-builder

Download for all available architectures
Architecture Version Package Size Installed Size Files
amd64 1.3.0-2+b2 226.1 kB666.0 kB [list of files]
arm64 1.3.0-2+b2 226.1 kB666.0 kB [list of files]
armhf 1.3.0-2+b2 226.1 kB666.0 kB [list of files]
i386 1.3.0-2+b2 226.1 kB666.0 kB [list of files]
ppc64 (unofficial port) 1.3.0-2+b2 226.1 kB666.0 kB [list of files]
ppc64el 1.3.0-2+b2 226.2 kB666.0 kB [list of files]
riscv64 (unofficial port) 1.3.0-1 220.6 kB641.0 kB [list of files]