-----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-6build2
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
 8c7420f30e0ca639580d895e670e1369ac66b934 5696 coq-hierarchy-builder_1.4.0-6build2.debian.tar.xz
Checksums-Sha256:
 96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 66a5cb5731d0e3db5db77efa2f9a38457196832c488766660cf273fad7557e6a 5696 coq-hierarchy-builder_1.4.0-6build2.debian.tar.xz
Files:
 2fb08ce2debfe46a48593132aad748f0 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 57172a663b1f54dcacef3ddf52ffcb93 5696 coq-hierarchy-builder_1.4.0-6build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTDN7oACgkQ808JdE6f
XdmzdQ//VFoWRIhan1Dc61MUQ8GfsooTVXEq1OkhuODSm4fFLoet3uQWfPpX97Vc
atxf0CM3oeDVir76emL96uwk+lyR3oTvQ43mzbtwDW6OuoNN7OvscL9OSHTrQlQi
NxvAxLKIFyzEpmHP3U7oPWwiIWw5APynnFl7ZMmBA4Poxtcxwg+zpQJuxuimBfzD
BzJtvvj19iQtviu7f8xncm7LxX+TyZN8olxrqj5Brlcdj7XEJ5WpBmcSEM3txs8V
oeaixWKnSJheMVOiNt6uGZJ1Mgm+W1ztFwqeQo/02TWNa2cwcPBQcH0zHw1ufo6o
h6CZwvf1ZsQ6Xe+hICjhzoojuJgmJBe8tVVnPbTgxxAjnNfyBZrr8rSCatrQHsPj
h93nvpbWJXrFp7INfNy3E1UFAqcNXlK5l/QzWImeUpQBRg6NehlmVrK1ear/qc+w
9wQvmJHF4ISEMzm/wbFb8quKCHLo+VJb54pNJMlKI4J9b7bs5J252AZ3Rzr7v+Oi
+YGexcPq3vI9PlIEvMHgzlkbB1lkIkDlqs8ZAkIJL2B6asvXmuo8hfPwN9kikeFQ
afNTQPpq9Dgi/LOB68JFLDNYbexS22sIJuDM4oGaWum7KHIuaf8bf6+sbzXO5zF3
iOmxGykl+xckIxhiGqqsBq6QbqoNsFiPTRuMTCakkR2/ls59xC0=
=3tJg
-----END PGP SIGNATURE-----