-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.8.0-1build2
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:
 521679db8ddf228783e1531bdec915076bb00906 215632 coq-hierarchy-builder_1.8.0.orig.tar.gz
 ae471d0c755d133934935c7d07767493abe63656 2972 coq-hierarchy-builder_1.8.0-1build2.debian.tar.xz
Checksums-Sha256:
 c5eaaed3e3d224fa9bdd10004b08c087affe52b74040256a082a7efb2865f483 215632 coq-hierarchy-builder_1.8.0.orig.tar.gz
 ad2c6e098c5e560ad7a18629082ebb5468d44054cb4f61a14cd6800374177740 2972 coq-hierarchy-builder_1.8.0-1build2.debian.tar.xz
Files:
 49413dfb1393cffba70356e18a01c7c9 215632 coq-hierarchy-builder_1.8.0.orig.tar.gz
 41fbe0a0eb294733d4a70341abd21934 2972 coq-hierarchy-builder_1.8.0-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeSALAACgkQ808JdE6f
XdmRihAAqBlWMPDHQJUq+tefC79KrKU2lJuF0J69jU8EGEQlHbSuQuYpftbXQmth
ZBoxY1Cl+IgPwpzxrZB1NP6Twg2CaMRyrnNi5rrkFmQ+rkOIgi1/SOKKmqqD1aJW
TTnvILmnNpol4hn35DcO5+74h6kGiykJFplT/bn1vGVusL3H2rKLLKkVBZaRZO54
haz0FIIwTLHCkkqkW00F5Zy4lLwqUzWFQB/4GHO7G3RoWdQhC20jog5GJMPkCoQW
3m9oVlNi2orAqsVQ411W0OPgAOSRKCJJAozJVnRN7yBcG2WJt2rxgpib1RxX8Bqp
Sij5FyhS8a1xaRdk+XzJoyGseVNj+odSSpD6bcRShkML7HWAcZuXtYM/UFkbqlAE
GqM/5caLmN1zvIKe0eME5gmV5mvrXDgmJdhwlGXh2rnCoIMhBF/WIxS9Z+VL9Bhm
YsEH7dziQa3rRO2cJzm8ffLKB4T/phAVHJkZpc75fcX2pVc1eC58/kiuMLY/M+U4
QPk9ILClQbQe9SmMZcagrjJGORr+K+dchB1rGSOE9ODJkrtr9dXYyKmqnW0xbeer
FidCLGQbtKDbbyMZwI6isVft33ka6wAwvUDbTW6WivIcbRWS0FyHU48IY/4BA//7
KEGQ5eYROkbiTdSWZcpa3ZaubyACNooU6QUn3W/wERnt4ynNNgA=
=6h0W
-----END PGP SIGNATURE-----