Package: libcoq-hierarchy-builder
Architecture: amd64
Version: 1.6.0-1build5
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: 694
Provides: libcoq-hierarchy-builder-4bui3
Depends: libcoq-elpi-wqat9
Recommends: ocaml-findlib
Filename: pool/universe/c/coq-hierarchy-builder/libcoq-hierarchy-builder_1.6.0-1build5_amd64.deb
Size: 267808
MD5sum: bd37f6b968934b0f1cbd8588073d24b2
SHA1: 4882ede9567ae7e1b374f6e64bff20db7ba90e76
SHA256: e46f9a9d3654f112e7387756a16e2a78dbc47d6c2df01984e3c6f3152e97a116
SHA512: f3ce094a66038bf628f8b0dd741f7b366f9a6eced52bf631342088dd6fe455723abe59645f53cf522555b35cc13c906b142a675c1750a7ad2b7c392d8f409bd4
Homepage: https://github.com/math-comp/hierarchy-builder
Description: build hierarchies of algebraic structures in Coq (runtime files)
Description-md5: 2abfdabc785c18da7923821ab30857ab