-----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-7
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
 5164da38a106720df6f6d8b36943aead96a5be79 2932 coq-hierarchy-builder_1.2.1-7.debian.tar.xz
Checksums-Sha256:
 a515d4fea55c30a6346877edfa6f23447a19c6875feb889ec21bed062c004060 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 d338360bebd49df121ec4198bf97c32e02191a776684d29eb92e8259df8073f2 2932 coq-hierarchy-builder_1.2.1-7.debian.tar.xz
Files:
 d58be118c53633852c814eb042f67129 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 380f62b79b9d650a432996fcc758c2f6 2932 coq-hierarchy-builder_1.2.1-7.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ8qpISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRyBQP/AihjUdo6ighUvkyIHW0tj0CamABj4Ti
b6Xya98ScgZNcvvrO1jYSrjepqPp145nrUsRpv/lV9Mx61zBiSuoWr9dhDtmI24L
RxVvPCbAkTDX1xigCr1vLQ+f2V3vhCMwZcYamW5Z667OlcSVfTT5I6A5V1G8WrNq
mi6c7d6KRHg/dRAhicJuodjKpQUP3kEKPn9spXtoNPFCu6oopzXPUWNDzFAOGiTQ
tat/YAhYGuHsnYAZ++S4+F+SQGJsPQFEDAf5OnO8Cvb0qhVQskwES89zfXsWrjWR
yfPWoLGxKFx84PjyInMxHt11vFUbb2IJnO5LrjmwEGSkbyXSFs40jjDryElJOyd8
XgN1/YkvbZBrqxjnXD5QDY3/7pxTY7jvpYRzDDBAgknpBPVQCsZBMQemakMCVOFw
NxmljzqeP4mBjm8iHlqkt0PQkbGV2kRKVYqvATs8hzlF1ziyfz7ARVyLiM3Edtjx
+tCSTgYiTznx8QXFMFGesbsX/P6/UUOL1OyAtot1bRlIzENVRhxdMe+QwU68zcaS
A6jqoPcySfsiIpNPiSICFaQwaqMDKEeSU1UWgdHkSCXpDe1BbIsrOFAlkgfV2OQJ
qWAr9qtFdGxV28uv3VVeJxb8agrJKRvWaUBMuZIIchcWlXgvEDterqapu7I1M3KG
QAMQAG+FQsA5
=Byeh
-----END PGP SIGNATURE-----