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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder, coq-hierarchy-builder
Architecture: any
Version: 1.4.0-4
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:
 coq-hierarchy-builder deb ocaml optional arch=any
 libcoq-hierarchy-builder deb ocaml optional arch=any
Checksums-Sha1:
 0a416ce6bd3be7af9bc71acab905d9fa6882e84e 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 f60202ec6703d9b0eeb7c2ed105880582bac047c 3724 coq-hierarchy-builder_1.4.0-4.debian.tar.xz
Checksums-Sha256:
 96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 729472476baf5c906f2562256c36582658c7f1f1bbd33a97f7e80e12573720e0 3724 coq-hierarchy-builder_1.4.0-4.debian.tar.xz
Files:
 2fb08ce2debfe46a48593132aad748f0 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 8371b4afa2387b7ec4350296ef741db8 3724 coq-hierarchy-builder_1.4.0-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSkJBoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRJSAP/jLgZd9rOx2rahfxt46esAQOW2n5pjZw
O3ybyBjdCTml7g4rlbKO70xkpdtAf0WttVHu7X2J0ssctff6vNhF7JqEw+CMV/y6
anwbl3Sk4Y0csVigfBWChppZG9yFoi2neFd5MQ3i5WHxXVw9j28/vpyxSBXYvg4v
1hYExv3TZthiYqdaKlOfdARKvpocuNA879eRbaE+apcGyuEucrmHDOFdm01qa8gZ
qMcV1vIRW5rjMaiMM0R4mOivMArcu+EZy3zGwnmiw5ofKKn6860JbOSxy76SL9eT
xLOzjIVXxI815rsWkqd+oxRdmxqRgaht196aaCPp99z1gXPIB/497q9smvjkXKWu
1bkieUBiFgBJVBRVe9g5ptvHPbLcc1Myb9LI0YXXqNgKkIqt7aQD6twQRB4zZUps
S8qzn8ZncciGWDFasx9LQxucCSucbLi9FZvMQayGG5b6Ed9+ocX0Rxdb2r6NhKqo
njPYf3z7WNlpK2CppWcUvvDs5YaEDOxovwMSWHRZFNaD/ZMotkYiQP6jlrDLx4cw
lbVZd9jWQARhL+F2PPZy+8lEOqe/vYK5UF8lhuLW6TWRvd2ONFR12Guf54ykhnf1
7VDkDPeapgiIOk45CYs9KV52/10jF3+aFapAFdgyRV9HHZIYSG3pezzr0VdvlozN
d1T9uw97Fq2R
=qmFr
-----END PGP SIGNATURE-----