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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.7.0-1build1
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
 3a10cd6516a05bbb580e5e0589efd6e5eaac6039 2836 coq-hierarchy-builder_1.7.0-1build1.debian.tar.xz
Checksums-Sha256:
 c9f83334067e5f4079ac26a89a32c5fa63de4d8cd2090ab882323aa9ba920f01 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 63b70be384cc5ec54049c3deb0142babd2f240f0a30a1df58995e23b07c29610 2836 coq-hierarchy-builder_1.7.0-1build1.debian.tar.xz
Files:
 ce0cc24816a0ce0ceb05cf819084b34e 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 802096444f942965ca03ae2985d097d0 2836 coq-hierarchy-builder_1.7.0-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYz86wACgkQ808JdE6f
XdmS6g//TDFhJC7ekIJt8hyvT81T20ybheDCXjJHp5hHIyJhnwslRyoH345dQfDE
5B6H0bKzGlW7F+OQfrqPbSOLQ/MmNVIQemZeRh+cAINDyaL3pjHlRNmKK5JM530j
ajgDNrsqi7ZnifbvvfcvNypAWHsYaJkqU3kYhmbCHI7uWnC6Wbcrf4OkIKtbjHfx
4ytmSTiSBYfz9EuzlDaLr1Un0OZQ4+wfu2+QKG3Fmx7vl9qOcMs1RHFExDi3WxQW
hZ6dr2fhHwxwrnpSawSY6QfNvxb8ClfY7EyH1vwY5enLh8IWBJF3erSDOrOOJsY+
Q7ju4Qd8XTuyCej0gB/12kyV9r+HCV8k5HUVpvtBuYg9N0PilbgewXnz5/yBUmEM
ryypE+CiaxxB/9uadYp2OT42S77+UsDaP8rFOwHTGULIP04RiU3ZZx2tAec/8qEG
WfvkjDiO4gCFqEg8hQQUs5lEnC8PPBAo51suomy8tWMJRONZ3XoITkoJt7WbQTuS
S0clH0b0KZG/wH7sLJnBYotlkXsv02tgI2yota3Cf/T+dP9GJEh3Hfb/IkTJCJcT
zw5KlhMo5b3Ts/qZQFvHlf2MoD1FaFGZtZdOJZCE46TlJyKXp4PkCfEbaxzRsc3Z
B+VlNjKjkbJtAlJiv/qLJ1DVHQ7oAYjt2BPSuFvqi2B5crUatLo=
=5g4Y
-----END PGP SIGNATURE-----