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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.7.0-2build7
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
 e76ec9481fbf27a7908fd585ee7172d8268c076c 3048 coq-hierarchy-builder_1.7.0-2build7.debian.tar.xz
Checksums-Sha256:
 c9f83334067e5f4079ac26a89a32c5fa63de4d8cd2090ab882323aa9ba920f01 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 1fee42e3eddff64d78fcdabd3b39dbf5ded9dcacd87b2d8389fb923cabd0b198 3048 coq-hierarchy-builder_1.7.0-2build7.debian.tar.xz
Files:
 ce0cc24816a0ce0ceb05cf819084b34e 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 f0b722526330b2cdda914ce8f0d721be 3048 coq-hierarchy-builder_1.7.0-2build7.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbppSkACgkQ808JdE6f
XdlQyw/6AyYyjylupukn8NZcpv5YTL1CK5xBLBvWA/tZ3UQCWT4KIfJ/G1xyHDLI
OqUy4/jQ2pqur9XYfj9aZFc8dynvpDn8KE+VeIXXjY0iGsT1zwjdNG+1ORuSar2C
2RetwA3oYOBQnQmtq5RTggw3CrWfVvqTEarBTvhWCxAHLTYtApexn0E2i9gTCInD
JhW7PR/RIt33DMbeSk6hekWARdfnBNgvTCSylZaYHpFlVIMM/hBf/7PDwfllUgED
B4r97cPyaQBJJXjod/8mZ1XrPwH1GXry2Gjn0PLJJt8Qzfg5Tf/GqQIyom7nEQVy
q5aD/cKoSa2RyiiXwhyYdnG3Z0dBMuHNl84U87Nbyf4BTBpkg70eSF8zpbkIgpcg
mkgNubldVIesaKP6PN8e8J+hl8sTTTg3mxVtPeQkxSICKpY5RGmsRp9hBHbO7B38
Yrh/gioaY8JXQTrVjTlpgMcP6dTxeQlkjJfE7jmQ72TMgkSxJDecbuRY+y29kl/K
oD4KXylkYaUpNt/u2GpVja9g8Qddcjx4BTHssvm8sMnt+hN+iWgQJfEU9/7iq20d
xr6wNjP2ccUQoo/KbY7/Gv/P2Ed5W46qFWafJ1ZCGloy/EqX/EW6Bb3uD8/fy8ps
5ZZD28HSAV7gQCv1VAn9NbWPVfBYvRJjzxxe4OnNwHoD0ssjh2A=
=IwMS
-----END PGP SIGNATURE-----