-----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-5build2
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:
 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
 971cdbfb27ee046ee01bb5a412ce9cd0f7a1c41f 3828 coq-hierarchy-builder_1.4.0-5build2.debian.tar.xz
Checksums-Sha256:
 96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 ce56ee4a7b91dd0d520d2b127392ad747a8098f13bc915db76253d91668c362e 3828 coq-hierarchy-builder_1.4.0-5build2.debian.tar.xz
Files:
 2fb08ce2debfe46a48593132aad748f0 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 4e4d668e9a11592255d242fa242de72e 3828 coq-hierarchy-builder_1.4.0-5build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmS2LoIACgkQ808JdE6f
XdmMQxAAxGdjPMCIKsTs9BTtdhbrI56QsDMflOx38PjQZWXLVHtG/ZVngTVnR1cg
siwj3U2q2VpqnqA0yFoSbEoXZlF9botQ/P9cUjEVWkHoAnYzIBajMZfdxknj/3gr
IX3I2D3uNquePqMQiCOtk3J5AtmvTFWEtretjXtba5FulGhsC7K20wB57uMUlLYT
KPLRrLI7zg5GTFFdGbkCVBKZFk7ac74c7AStRQXH0Ia0XJSxwHOUIhKOqGY3/hve
+ziXWLzWAiMLx/fcTlXTY6/LO6Etfttung2YAEcCcPPdTzgNXP0K8A2GjBIJCWOg
7PHBrIR1O1DzQS34T0RtIZJYiNOgTK/GTDQJa2mNTgRpCo7kPEL4pWd21fQNoDC4
EoYWDZv1OemtVBOacUfd8k/Wus+KMdHQWd5Nta9CAWSdfZn8fVvF4+MqC/koj/K4
60MlNfL7krt7S8EAl9o7/+0TseF7RrWX5zcktaP2jTyrynOTdpeKsKXNgDLNxgWU
Jk88B9OjQ3UhFzEViMBrsWisf4sDnm2HJwFucSWfSzBRqewCD8MstP5h++GaAtSO
ZBhPF3KPmc8qYemWIyvVDbLtBCLSktA9yrhS94SOO8rvw3PQPQyDOEaBiHRUOx4W
18FsCtxfE8wNRJjd8RQ9MN0iaNzMapdQsfk2k2LNG7Z6vrptowg=
=cNMb
-----END PGP SIGNATURE-----