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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.8.1-1build13
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
 d54ab9035ef6368e5976747e0ce5ee899ac8ace6 3144 coq-hierarchy-builder_1.8.1-1build13.debian.tar.xz
Checksums-Sha256:
 aeb9c53dc3708e6955ca6960801fc3ae03dd93f7503b3a4e1031eac7fd16afbb 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 d03677d29da88f25e1ced3b58d5dd72b1cb934ce6e6d98fb62087cb38c2df4d7 3144 coq-hierarchy-builder_1.8.1-1build13.debian.tar.xz
Files:
 3f5f4fd7c3fea1c9dd97e63038dbb149 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 378b1f35d6dc7f812a4f2f81d4a37fab 3144 coq-hierarchy-builder_1.8.1-1build13.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml7s88ACgkQ808JdE6f
Xdm7BA//TnM83oXv1G8V/tY/gVijkl1DGFWz1OL7IP+bIQ/igGF1cv/TFVTnWsSX
YlszvIcRP+Eqd+ohy86WzSRn63m9WOR8As4U43dl22A87XqEKzP2DMhRiYgckbZt
vBLslUy0/OHaIhXnhU+/LYgwx5bbrE41b+jWR8s4HDKz7wFemFWDuEInv4Q7WHEA
eM70bIkNjkzbGEhIeop2j0dvu83zESBf9Bvdh+e6884WloZQADwpI7+WKzsL0mmr
dGxxTPdGS2uGcqF4OVr+O/8dejpZD0dGIKdVId1usMCs1ZNOoFrO70k6D6q7VLcr
d79jvn7oSL8434H7W/cSM2nggykKFjG9LxnEMBkygt+my8TpqifIRti8nemzIbK+
3hH+rCYvjwzCC/a1MttqCg+CK5xIU7M8WJE03xVtccSjEBYYaPwFHBmJTCvdsL5q
ksx+CsRZTqaeSffpsjV18uEnIUFjGU5xnKEom44ge7MNLNwCbXv67eWiM7doE3Fe
Sv9miDM8n9Jx1+w+qnEFheRVij+APrAooZyiCYb9GWRJ/v+lelvt7lwNoNM8wq7R
PNhHvPAt060dQhITR/ftpfXWMN2HwZDY4Q0noRvumuHK/HQ6yBUrhXiNX3YBzzSb
eSXMnIvSq3TMrq2+X5i8hvUiiTtyUPSViM/VS1BXoKCaoUV1lfQ=
=h4XY
-----END PGP SIGNATURE-----