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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder, coq-hierarchy-builder
Architecture: any
Version: 1.4.0-5build1
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
 f9b2fe0e2143e561cb8ef12ca610ea3efb09fd78 3812 coq-hierarchy-builder_1.4.0-5build1.debian.tar.xz
Checksums-Sha256:
 96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 8c42eba2c1c30ff7daf8450f711d0fada826631887a9005719b346f28ad27731 3812 coq-hierarchy-builder_1.4.0-5build1.debian.tar.xz
Files:
 2fb08ce2debfe46a48593132aad748f0 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 f2ab848c3c2d2028491ea160e77e89c0 3812 coq-hierarchy-builder_1.4.0-5build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSoiOYACgkQ808JdE6f
Xdk7EQ//ezMbKh8mGTitfOMWUenxZChBXpHhieWL4JE+Q37BFa2BFBRtZdUuf8me
I4xtUB2+SbTOVDFK4YnrrzKFrEpIdM9AkJ2OIqBlPLI8O5WOvDQCl4Npa8Xy0Van
2vaMcn/zATkpj8g5DsnYQ8toxBvKU+h7suoEMxn7FN3NTMuX6zOjHyNn+HLC7eP3
vrGycgBxbihMWuPuPlzGEtFEstXklpfCuu60MpEN3woZUAyiUElzkCVOsPRaydXe
fxvYN+fbHkEGQDQI2IxAYvFk8EfLcvZ5tABAItbWvvLSnV4LMpcon32buiVvzcDL
0k3l4rZ2g/BOx0F7hjKDOljYtiAdlpG7GTptoU5xkscmAma3juUd4jHIYq8n1T9u
UUjs/sSyzWW3/r0Nua5TU2FwvuUppnU6TkuCq4Cfxf+l6f5ueXt0i2UJ81YU7UeY
k7s9MHcGlnr5KZ7onlMY0wGAdV53mJNK4m8Hl3KgDslCXctQ+E3IGe00ZBznIzAO
atUxujpNW9Yz5w379JP8zd/kR2IyUCSkxag8h+XMPUneM1sbqUZXQkM4aHr2IeNV
DFHYdOUFLsjNlYv1TO/ETC7Hu6+0C39lDJHT5I/C9mteaokrLngGPUb9KTkUfep8
IfUXpyCbyd3QfF/drrPfrzyWuJMhCyX+yoc04e3jIYX/Cqh3Oqw=
=BQSN
-----END PGP SIGNATURE-----