Artifact libcoq-hierarchy-builder_1.8.0-1_arm64

deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: arm64
  Depends: libcoq-elpi-mr7h2
  Description: |-
    build hierarchies of algebraic structures in Coq
     This software provides high-level commands to build hierarchies of algebraic
     structures in the Coq system.
  Homepage: https://github.com/math-comp/hierarchy-builder
  Installed-Size: '726'
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package: libcoq-hierarchy-builder
  Priority: optional
  Provides: libcoq-hierarchy-builder-j09n8
  Recommends: ocaml-findlib
  Section: ocaml
  Source: coq-hierarchy-builder
  Version: 1.8.0-1
srcpkg_name: coq-hierarchy-builder
srcpkg_version: 1.8.0-1