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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder, coq-hierarchy-builder
Architecture: any
Version: 1.2.1-8
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.0
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-ocaml, libcoq-elpi, libcoq-elpi-ocaml-dev
Package-List:
 coq-hierarchy-builder deb ocaml optional arch=any
 libcoq-hierarchy-builder deb ocaml optional arch=any
Checksums-Sha1:
 045f0a087b3ca5de100a546056e9ec14faf3b09c 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 1ef180062b750ba8045488ef040d6e103399f863 2960 coq-hierarchy-builder_1.2.1-8.debian.tar.xz
Checksums-Sha256:
 a515d4fea55c30a6346877edfa6f23447a19c6875feb889ec21bed062c004060 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 7a78ed390aa92733c986472a92be2893627a66ce13f117e045aa7436d4d1bda9 2960 coq-hierarchy-builder_1.2.1-8.debian.tar.xz
Files:
 d58be118c53633852c814eb042f67129 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 ec1f591c7ab5e330b4895ba69539a6fd 2960 coq-hierarchy-builder_1.2.1-8.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKKcxASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRP9QP/js4mJvPYS8Y5gG26p0lxrUQloGk3tyt
MSaHW5zKDgHuKCFTymgDPpr8KMnLJm0Uww/En8FYhXhXNqghtWYtsAvpmqi5IHql
8UUl26w3odmfft/hN2mc1NruWJNnyTedlLG5q1RAGc6GnhqVVySQSUjkeU086CnA
TZm4luYbAmCV4YoVZzvuu6NgUGLSopOOwusES7KT0V28bLmAmI0bFr8AvOeeftTM
2RpONIMu3Tk/mXk84FH6+PTkjnAG0OXM49axVsyiPqU6RdRh+KFNUyU4QNLu8Mtt
ODM1HUvxwetgZyEQwYNZV44B6YblqWg9WMWJ9v3Y4FFOtVyI04C3ZsoP0azDkvEk
7civRdjMwpRRwuD9jdB1UhJaV/u2E/4JE10Nw2uRzow6c/sgdJXaCPiancdWm6Lq
mBSRHu1Y3o/ZKYY5vipaFY/wvwmmFlTETGx5X9xWHR1pxkSLTgbGkYvnu7BElBJJ
PYBsrjm5QADpCss3cFVYxPgugMj1EZPS3m5475jfgtYMsdTkIeAUJWfujKsw+2y7
mFB66BpqZs4r/kLu2wrBlgIsmeIQhWDazQ48NKow/pR4jFqFFkReOvdF8iNNbRYH
h5MV2uBLzN6GyN3ELhyVTd5PswkjXnIa7XdeMdQ5FJRdV5INgV2zO4xFR+83UXo+
ndwEpbiz2mOH
=YLnY
-----END PGP SIGNATURE-----