-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.8.1-1build11
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/hierarchy-builder
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-hierarchy-builder
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-hierarchy-builder.git
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libelpi-ocaml-dev, wdiff
Package-List:
 libcoq-hierarchy-builder deb ocaml optional arch=any
Checksums-Sha1:
 1641ef88f49cfa92943942109634bfc5a46c7825 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 1967fdbe4aa28e37b243b7fbd70a98eb9d6faadc 3128 coq-hierarchy-builder_1.8.1-1build11.debian.tar.xz
Checksums-Sha256:
 aeb9c53dc3708e6955ca6960801fc3ae03dd93f7503b3a4e1031eac7fd16afbb 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 c90f13aa780b414fdb65253eacca80a060b03ce3e89020160602f34db56bbce0 3128 coq-hierarchy-builder_1.8.1-1build11.debian.tar.xz
Files:
 3f5f4fd7c3fea1c9dd97e63038dbb149 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 206397f7b00b0f78eb0d6ab46b5c92d3 3128 coq-hierarchy-builder_1.8.1-1build11.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlZWgoACgkQ808JdE6f
XdkEDg/+N8KWmdjeF6ChgIU7/sFNEc+8Yknb89zi1NgENgJF15v+TSaUEap98LXK
weS6kWaVF+mOByKTaErGra6HkSNa/zsh4FGeaFzBYrHLJa72w+yC9rvAnljUmzb9
DtBBs0x18hOpCERoYJpORcEayA3IXOfFHcguzUmtLN7QXKxpn4Va+mBfpqqlyAaw
ogURAhje1+xJ8ZRPDx5yb57QwXqUpD6m8vh3qM6ip4jj8UIA0sGtgEQzKzxj+ifc
rMf6yQ94914bDNWfo3FeFaKG3yNjy68B+uxfK9bo36L4W9LRp9Oag/Tc6Uvglz4r
Hj1o/A4xjKeHvM9y/4k8VW/1Hp7hRHeLiiVEv6bZp3Lq5KKg2sByIPYlCv3eGT5E
4iiJIdxy+qEHLC30PSHgZ/Q6GdgdSj8F6KvfPXt6EiLkjt7hz5kt6+2tRh9odtu1
OsW92+yfaxjqwpPWaksxC8aETzt6GO6wC0A0giu61YYdU/0BinT5++o740le82mj
mIAeDpxgG7hKja2MFcV1QoeUa2v3MDt+w6h342tXYPhpr+ZPVhY91vghiggQ+1MC
8grrAf68XeLC1GkUd2lGs1nC+4D7XlAm+7zEN6x9xbLsg3kDn/TJ3Ir1R2U3ZlOH
8nLZpXcYRHNw0yTx5HdcfBdQ3fSsr0JNRqUWfHpqfU3L//KVsTQ=
=JxDL
-----END PGP SIGNATURE-----