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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.10.3-3
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.4
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 (>= 9), 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:
 699eb25b1a43945a696f9fc9492001047ae07c70 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz
 ae81150dfc29aeff5ea21cedc859ae267768ed35 3092 coq-hierarchy-builder_1.10.3-3.debian.tar.xz
Checksums-Sha256:
 529d08c700c936c9fdf5658d8dfc3bf2cf5ef61cdd35604e40eec2fd349a071b 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz
 4ae1531b07aede86136b24708b6cb5e4623306d7acb8925273a3f3369fa2a7fc 3092 coq-hierarchy-builder_1.10.3-3.debian.tar.xz
Files:
 d34079e82bea60c8ec3b1638629cbc88 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz
 369030aa9afb31a8fc32c759526ab276 3092 coq-hierarchy-builder_1.10.3-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp7dvMZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQIBD/0TAcN2bykZO3c1uL/pC61o
ya58+eGDMk6y/RN6WpO14t3n8TFSWeoXf/QFEZk2ZOFGKHP49TmYTY7Jbwz7QyAA
sFClBBq5T/u0MF9yb/yO5GBDwjqM660B7PQxOYr1A4qXoxIgtQtO3pQ3CQ15cjAu
teUdK0SutBC2Y53ZGDz0B5wjB2S3WUcDtQFR87a6I+8IrsTsgboPLUMjnRrFRnGh
0JDi0L6wKEm6UKnM8C3Mwam8MXG1iu/dDHM/FavTlyuhkMT9cvfAdR87xjMWqCXi
KqlJuP+8tirTO9taWklip4laeDRId/wXHCUZsBVs54oHiTNyOFiCD3yXY/XvLaUA
gJG+xFNez0egn1XjdV8eFf9rbyhv1pI563TYZj9XAs8Z5l9aXb4OOpUXpRrlmMeB
okHrmVbfvamrhJ9mlF42U5c2cuGCr52hoUWdkR8YAUg8NC9amHiAC0nzMhfgrVI/
zgrqbG9NFygUcEQypzz8vSR9usxx2MBwXhhNKMj0qcmRHRu4h3gcq2Q0e/H4XDyN
vC5HPid7zXFuyGrGCm8r4E7r3gvjfYfziIxArJ6I50CBsZufrErdr9NPFSv+7BzB
nYdwh6D+fdBW1ZKY2Dv3dWu6pjUje5sXqQ6utl+olMMdEi1RaZp6kR8OtbcObX7D
XUxWkXnYEQr0LBcecGyz6g==
=kiz0
-----END PGP SIGNATURE-----