-----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-2build1
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.1
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
 5df6cf97e1af045b4542a2217a47acc6d7dcea6a 3200 coq-hierarchy-builder_1.4.0-2build1.debian.tar.xz
Checksums-Sha256:
 96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 634d11cbf40018406c19960cd0e40e6f181d023f1e2ce031fd84d240159a6bf1 3200 coq-hierarchy-builder_1.4.0-2build1.debian.tar.xz
Files:
 2fb08ce2debfe46a48593132aad748f0 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 4d4921e9864e00c514cd34a94480c1af 3200 coq-hierarchy-builder_1.4.0-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLsa4ACgkQ808JdE6f
XdmxMw/+IY1vCXsYQySd6USDVbd6Z7vAGwi6IfwyPJTpkbvhlf/5lC6C9CTxXkBx
pJNA6sYbNc3L39awvXLROLzfPy1FhT/iCr7n7KicjLcCj6/PXyYarQVEPOnGKn4G
O/CvNU1rme7VtfuzC73YwEJUM/ugTH36e4tH20KNKfk779iCwLb8c6wxCxHmW6il
ogOuqV63CvguysrlHDTJb3k5b2c60l5ID06PAbN0be3IbHXxr9qMhPLzd31WhdyO
EAsD9R4mghl42n1lQFjOgExemfp8ri//0sl+vIm0DhINksbeiodd0Zvlrnv4Y4vR
QzyPmnaIar8bJkczoMcZG/+uY3Cj3KmDa3FM4QlY7PnYIA50nmWdEPlvuuhbzbTf
alaRjG4/Bb/Oia1W34zSU9BCpsaPBl3qyzpcAQPOWIb2rIoc4w0P2I2H2itHn0rP
hH/ISoJdyoIci+DfRGTQbKhRctyqJGpD2qnCVFjgGeicfs8ZlQe7Rdo4TZAkthSL
aR8X0DBTcp9fqjC51LdFvjBWGmNm5rL5OyW4rYRBkw6ZBYOA6UUOh+7FreL0P1v8
uDn5VK+GMN3yyPyHafNu/BASI8A+tDZr7Qk52k/pyT6SjbrQVark7A/JSAJ/ukMk
GD4jSaB68McIP2wHAKoa0w//f64pTJji20kgaqTg96HYXe/SoHY=
=rMQg
-----END PGP SIGNATURE-----