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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.7.0-2build4
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.6.2
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:
 4725abac8eadd73b813aac6accdac884eec28503 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 b4cdeb4ef63fd16ddf4a260e2098836a7ef9da74 3016 coq-hierarchy-builder_1.7.0-2build4.debian.tar.xz
Checksums-Sha256:
 c9f83334067e5f4079ac26a89a32c5fa63de4d8cd2090ab882323aa9ba920f01 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 8ee2e6a4ca570e6ddfa125600ef4618e887cfb0e45b4e167067a967c4d554e56 3016 coq-hierarchy-builder_1.7.0-2build4.debian.tar.xz
Files:
 ce0cc24816a0ce0ceb05cf819084b34e 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 8e2866b28acecdb8489692d648dcc7af 3016 coq-hierarchy-builder_1.7.0-2build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbb+vkACgkQLIPbyOm9
DjdW3Q//eaj5bKEsqzqy+KMltSh1pEwoSLC+eMawNHJEbD6i9Xrp47dVYgp5kTdK
oBSz32ufD4hrRQ1l8EMyiu6KtwAVMmpyIA6311yspAu8g4jwd6ey8An0NX9xY/Xp
ErnYU2sGPGkEonuv4b8FBIt9GoMEGvNqkdJ+j33Qsu8S6f2NWBwZE9DPJlWHwqUG
pXCbk2GvAMhg5Gf8/ruzULGfm5LxrKAJVtIHX3k5PqEQeKQMfv7dQuSwaOzD+129
s5Ek33RUY5YypMSg8rCpXiOh1Utj71iGXgZFBc2TyukXXMRjNRjT2POLil/S6SOW
kWNM2IWmSOjrNHalS2loHLLHyibz5cbkxDpMgMPtptBaNolbPazMssrON0XIhiXT
FiLupH5qKv2hG5TxIc7RPFLB1wesC9Z6uG70wy1NtyTsWjJX/+hxG0jstBv+vzpD
UMlESj901J5ImJR0Je2AKOxVx6OSkMNdTK8bytVQs4RK1eYg49BELPRLWodVfffH
9LRUrc2ZEqjYrJ7sJspi5Gdrba4d9OJbBd9M1nmJOAcgFd4V5zr66/GRh1rYKobj
Wqx589RQ755Z903UIbbAgRZrzz8dN5FtbOioP4410TQiL1xqkI52Y8vfxLrADkHH
17u3ZHx0X+aKumeKWtPvcVxA+aTTNRw2FdpKV7LYzM3RD9dDydA=
=n8Sk
-----END PGP SIGNATURE-----