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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.7.0-2build2
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:
 libcoq-hierarchy-builder deb ocaml optional arch=any
Checksums-Sha1:
 4725abac8eadd73b813aac6accdac884eec28503 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 3dbc6c5fb57f27ece5985977b7d83e0403afebf3 2956 coq-hierarchy-builder_1.7.0-2build2.debian.tar.xz
Checksums-Sha256:
 c9f83334067e5f4079ac26a89a32c5fa63de4d8cd2090ab882323aa9ba920f01 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 5207d62a5e1f5a6bc96c96a02c9982c450e4b78c245c49e0ffa8ccf6b526d3d3 2956 coq-hierarchy-builder_1.7.0-2build2.debian.tar.xz
Files:
 ce0cc24816a0ce0ceb05cf819084b34e 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 533832bc7ae3e61245491a15d7f436f4 2956 coq-hierarchy-builder_1.7.0-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAma2EUQACgkQ808JdE6f
XdlJvw/9EOHzypO2jqeQvFEs05/wgV5G1DH1+L4eNC6U02MWBroOiSsdbFl/hOJ0
IcCYeqzGwe/P+EtpARZobrI3YKHrmpMFhVZ3ybRNpOZz+AGs97JuP7areHW3S0xz
rz0VLNCYP1uoQV5IBA6Eg3MR1cguJa/Vhv6Whf1AHj46rVi9zArWaRjDEU9tYj4m
XUi11KQ1Rh7lDhQbkl6ciYJgGqCc5i23d/POlN8GcrG2B2kjmwI7WiA+NR09hi3Z
y8x6W4mSXyDrGQfjliuo1gIAj+4t3j3UBoB5slmaZ293rQ+ES/L28xjU437IeXI5
jHLDoLQA/Fj4coBSeCa5Yot/42nzaUkBIMF7RubxFUj2dnYmmPdJvjJ1sKY9Kmjn
aIGR7ZU4BEAeQzzD7MbZkpLf6hJgcQY574DlJE/39lWXxRzloz5+XI4E2AJciOO/
zFaOa56uUmEokQe6ripEPLLJl+rwWCkpGH+Aq0Qw1UphuokgxVxljfNOT2xiWfG/
+hKt8o5GU5z5X47CnfZ9le1qdk/LnI2YCbrI9Sdc+z/R4BOe6XUzPm2lvp+VLonH
3t07T/mtaERe97FNSQu7XjXOJ1J2LGPA+jn8R681ZlJF+/NRv5st/9He1gaQ24L/
NYdRm+FWggWIC43ZemI22cnCfS4EoN1zUARYPqr2Lwvo36chXXY=
=yHg8
-----END PGP SIGNATURE-----