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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.7.0-1build3
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
 68ee13bf88a826eb4ffacd1b7b3888c6565dc730 2860 coq-hierarchy-builder_1.7.0-1build3.debian.tar.xz
Checksums-Sha256:
 c9f83334067e5f4079ac26a89a32c5fa63de4d8cd2090ab882323aa9ba920f01 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 590c413fc94b7a0bcbec0d7376f60b867ca69e2353ce9fa359c07d9d536aae5a 2860 coq-hierarchy-builder_1.7.0-1build3.debian.tar.xz
Files:
 ce0cc24816a0ce0ceb05cf819084b34e 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 d300509efd352b6a364a39cc060e1d61 2860 coq-hierarchy-builder_1.7.0-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZeOMIACgkQ808JdE6f
Xdl6DRAAtXe3iaK1oagoUiqzclWb/7eXH5JU3966xy7JacloQYJTkOyHOqfAoxhg
DJ3YZgQ/OCxB8g2VXLaJnPScWLhS7Jr+TI9CiLv4hsoGzbl/e4lluymskQ+cbHm8
m1dFzgjPcrA27D20oE6tRS+W+b9JqmqD2rgGQmpeXKn/93hThmqqQ9oTKH7+59NW
QnnaN94nFVLKGWIY17K/YDHmmFVnrxBJUyhd24MLI7P1h7VT57QUoST+c+9Qyk+7
UCk49XqGUg6j3Y2jSqN34QSw2d/tCiUSbnkFSlVCs/auAOeXY25I+QEJ9cUuobyw
vNKz/MR5ntZJWcPNXmfLGmpELmP3iJk8x47DdBDdlZO4hNspoPTQjUHThHtv8BV/
VDYKz3uTCFFrH4zEZrdPWYtzrKVoER20VNnjQjjRMzrBZcpvlnq+PWH2faBZ6S3t
jUSyIIKZxUFzTpdYmrl6ZR0vPOnZLvxu3PrkHYmXIYUYIsvSEYYlfMGIn2cigGFZ
5fLpdTXkLKqgl1evhPTYI248oQ8DJWaDfLYoE/YeBKGyrRMMUUU8bKeUAM6e9Nc7
WyX27j9DMWghGAquRYF6bD8/bxZJ86m7GXzy2i0KwVwCUlgagR7Tv9h76ml/GXVZ
1DRGx/4BH+KtBpGnIm+qio5kHEKjMt/B2kbpZDTO5TFHv0cti2E=
=DAIV
-----END PGP SIGNATURE-----