-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.10.1-1
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.7.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:
 9b12939eda12278bd400debb056c625df1f8b06e 218998 coq-hierarchy-builder_1.10.1.orig.tar.gz
 1a3a5d0d372b9a173cafd8a39e09e35891b193a9 2944 coq-hierarchy-builder_1.10.1-1.debian.tar.xz
Checksums-Sha256:
 9a9e8cee75cfe0edf501d13c9d4e2699830ec01dde0f0d6440a9aefe21bc1cd2 218998 coq-hierarchy-builder_1.10.1.orig.tar.gz
 d03c414199d13be65b7a99dea3dd731ffa77270719cdb59c67b1810aa69f3809 2944 coq-hierarchy-builder_1.10.1-1.debian.tar.xz
Files:
 3b0ec00a082c456578a067d5e2fc5cf4 218998 coq-hierarchy-builder_1.10.1.orig.tar.gz
 f5cde2b8fcf2e6599a28f8e277256eb1 2944 coq-hierarchy-builder_1.10.1-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB2TQZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfsvD/9MPYm8NJkcnkKserHvYX/w
iHqTfnLi4Lfvaqvuufpxjj2DlC+5CF99QW1gWzPDyzA8Ft17lWAJ1Nyc3NLEWzKb
m3J50Bndoxi3AoGJ1dREqq3WJYbGNECJZFUmD83vH4nUBaC2IMv1OSy+/yf8s77E
4PrKKS3WcROTiLbUMhXKyflab3EqobohN0EbWqjdAsIrgejnCQqQ/old7uhfD91P
pToHvZ1ZgNZBN8yuTXj0a/NlQWCTV6iWeeKSNqUA75A9JeEwAolNF6cfEMy1FTDq
mHdCfK5JcE3/ipLJfYy3jb3G60CgYF9wUnz41Rhx4sj8cMkSJVK+N9JinWOwvWTP
Lfh/HL82U+jyOhXUt5Tg0gkJUxp+6KE9NRvEZ1mTLDZqjBo4Ssp2ATpMro+bWhO9
c4/kAtKuARHmqkCItjqezp+NLUw3MwiVNyq0pLMkNGA1JZKS4CizhDgNhENtzaa6
YjRBmWdZPiAaN5Z1VIEgwM64gIBqBD6wZ9gjkkThUTXd0JMNgawa790h1fk778GV
D8eylI3463UtYorfCDISjJgCEC9BEop39R8gTjRIvDMZdGZ323iSZth3GX3IFdwB
VkFjccjX8PhPoyrXX4L4dG3jt8g7GxGb6U2YcwqHmYv5xmP7B2ifgzW+5u1h0yO3
N9AzEX94N576IfJPbq7cfA==
=vK4o
-----END PGP SIGNATURE-----