-----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-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.1
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
 1a6b6c302ca26566f68b78dee5e727830f862128 3216 coq-hierarchy-builder_1.4.0-2build2.debian.tar.xz
Checksums-Sha256:
 96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 b5ea14fd8798e07e1bb0aba942aaaa3279bda8fb1035a525276fb3003bac24b6 3216 coq-hierarchy-builder_1.4.0-2build2.debian.tar.xz
Files:
 2fb08ce2debfe46a48593132aad748f0 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 5bebcae259dca8b8b9736069cefb3ae6 3216 coq-hierarchy-builder_1.4.0-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPUEnwACgkQ808JdE6f
XdkATg/+KsnHYB/Ahr7ZXm6d//sLfAy20mnoRqHk5JooxOy15AxU30Dt+o6EINCV
M1t6sCIgaEyDWZGCPodPXDQpGgD1EX5aqjBPBKY8kJtcM5vn5tp8+W+6s+2LP8gQ
BZxb1NIny1jla5P+lT73Usfry/0R0z2Ker0pHa+dPIB0MJVf4pUrigIBOSoqVIkE
5e1kg+qKDIkDdQpn6tcleoFPl48245VpKU7KEGJy++FK1O0gYBYbZafZQuhyR1GJ
BXmz6wahEryrYH0usE201bVxiWk+Gaxiz0ZSV3Zck199dUoCtG6uYBi7rz1WNhwx
3ZfVhs7zqON6BGHwN4EwO8epCKsX28ogLh3Co1G8UN7/c85QitNHkLOmVGo/4Vju
gdy42pKtZE846kJhCKFLOzqF8pNwFe5m5IqXATMHHaC0y/Jz0oD/tCuLvCsrPU8h
F00pt4qlziJhbxdosElCdd3J1xkd7nhTvslo7ZQy7E7Skyu45+0G50dGk+C2Fjq/
Ibn3ORGWzT6k0KE1iIe1F0vaxMBOWuL/BLyfhG13QcEecJRy8l3tJ7+ts+KoxZxY
o1n0l/K8+QZY6eWlJvsnwXEerqHF0VhX1cnbUddAlmIBcF8t6JPMxYRIPqOmVF5i
iVQ19s6rgJt1FYyFtO4EOniycDZahOaZSCjLJSUN9BjI5mwtyCs=
=Yvd/
-----END PGP SIGNATURE-----