Package: libcoq-hierarchy-builder
Source: coq-hierarchy-builder
Version: 1.8.1-1build6
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 1664
Depends: libcoq-elpi-56er7
Recommends: ocaml-findlib
Provides: libcoq-hierarchy-builder-p5d04
Section: ocaml
Priority: optional
Homepage: https://github.com/math-comp/hierarchy-builder
Description: build hierarchies of algebraic structures in Coq
 This software provides high-level commands to build hierarchies of algebraic
 structures in the Coq system.
