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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.7.0-2
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
 65c636a5c9060386bbf902670efef8d6c5a6411c 2836 coq-hierarchy-builder_1.7.0-2.debian.tar.xz
Checksums-Sha256:
 c9f83334067e5f4079ac26a89a32c5fa63de4d8cd2090ab882323aa9ba920f01 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 7f5eda30811152fbd245566efac54bb39c3ead26eb9ffb2907155ec8e7181302 2836 coq-hierarchy-builder_1.7.0-2.debian.tar.xz
Files:
 ce0cc24816a0ce0ceb05cf819084b34e 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 aa2dd1527ddcfa3c61b114367f038b5c 2836 coq-hierarchy-builder_1.7.0-2.debian.tar.xz
Dgit: 547ad8285cc794b7a3b4b118b74e860bb4b45422 debian archive/debian/1.7.0-2 https://git.dgit.debian.org/coq-hierarchy-builder

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmat4acSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBhboH/1cBch7KGbgVWjAO9WwzE3BEb6+2Pyim
5lHWLeqEvOMILYaiqjX4inSYDfRncKpY4+czR8CQ4HPHIuxfPzQ/Ns1cwIc/cnsv
BvamaEpbvooin0N+0+pW7CNvgXVg/G3j5HBGu2qzZg611Qp1K049iEeiv3/VRTIC
GP1+U8SlE7uXqscKHXLFs4kpfxa/izgqVGIgv8vPEbJXmpwmvds8iKzz9mXE1nFT
rbFIqxcyX79qclzmOj+dlbkE3GIV01WNVZUdtwu3j4MgIiSey+LgkzgWdPQvS+C0
DhYYp1YslMXy7viW/IbKPDyEEszU6AouIScqsDVRRF21oo9i9ttD+ow=
=F/Tm
-----END PGP SIGNATURE-----