Package: libcoq-hierarchy-builder
Architecture: amd64
Version: 1.7.0-2build7
Priority: optional
Section: universe/ocaml
Source: coq-hierarchy-builder
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 753
Provides: libcoq-hierarchy-builder-hjz07
Depends: libcoq-elpi-dsxd7
Recommends: ocaml-findlib
Filename: pool/universe/c/coq-hierarchy-builder/libcoq-hierarchy-builder_1.7.0-2build7_amd64.deb
Size: 287630
MD5sum: 268400c9c0627240aa4ce71c48f4f2e4
SHA1: 8382455653f1f25963e48695d61ee4c3aa91022b
SHA256: 988f53cf3ef00e5c3c52dafc6fd68b4b9e255b4eb572f4936e4719f8e04ad00a
SHA512: 98253bb7ec5ff6a9b8edbfecbbf85fdc7de0ca6c3adf602ac0625b77588d0fbfcdef67190cde8091bf35050b29cae552df5c6f282c6aeeb3a72f002359b3139e
Homepage: https://github.com/math-comp/hierarchy-builder
Description: build hierarchies of algebraic structures in Coq
Description-md5: 7cbea0bccc9673cc40b4f3264cc7b0f5